Logical analysis of hybrid systems: A complete answer to a complexity challenge

@inproceedings{DBLP:conf/dcfs/Platzer12,
	pdf = {pub/dcfs12.pdf},
	author = {['André Platzer']},
	title = {Logical Analysis of Hybrid Systems:
               A Complete Answer to a Complexity Challenge},
	booktitle = {DCFS},
	longbooktitle = {Descriptional Complexity of Formal
               Systems - 14th International Workshop, DCFS
               2012, Braga, Portugal, July 23-25, 2012.
               Proceedings},
	year = {2012},
	pages = {43-49},
	doi = {10.1007/978-3-642-31623-4_3},
	editor = {['Martin Kutrib', 'Nelma Moreira', 'Rogério Reis']},
	publisher = {Springer},
	series = {LNCS},
	volume = {7386},
	isbn = {978-3-642-31622-7}
}