%0 Journal Article %1 journals/scp/DammDDHPSWW12 %A Damm, Werner %A Dierks, Henning %A Disch, Stefan %A Hagemann, Willem %A Pigorsch, Florian %A Scholl, Christoph %A Waldmann, Uwe %A Wirtz, Boris %D 2012 %J Sci. Comput. Program. %K dblp %N 10-11 %P 1122-1150 %T Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. %U http://dblp.uni-trier.de/db/journals/scp/scp77.html#DammDDHPSWW12 %V 77

@article{journals/scp/DammDDHPSWW12, added-at = {2012-06-26T00:00:00.000+0200}, author = {Damm, Werner and Dierks, Henning and Disch, Stefan and Hagemann, Willem and Pigorsch, Florian and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/204eaf52283d9e2913acad82aa576769e/dblp}, ee = {http://dx.doi.org/10.1016/j.scico.2011.07.006}, interhash = {f78269befe529cdff20909b52a41f1b3}, intrahash = {04eaf52283d9e2913acad82aa576769e}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = {10-11}, pages = {1122-1150}, timestamp = {2016-02-02T02:39:54.000+0100}, title = {Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp77.html#DammDDHPSWW12}, volume = 77, year = 2012 }