Distributed theorem proving for distributed hybrid systems

@inproceedings{DBLP:conf/icfem/RenshawLP11,
	pdf = {pub/dtpdhs.pdf},
	study = {pub/dtpdhs-examples.zip},
	errata = {pub/dtpdhs.pdf},
	author = {['David W. Renshaw', 'Sarah M. Loos', 'André Platzer']},
	title = {Distributed Theorem Proving for Distributed
               Hybrid Systems},
	booktitle = {ICFEM},
	year = {2011},
	pages = {356-371},
	doi = {10.1007/978-3-642-24559-6_25},
	editor = {['Shengchao Qin', 'Zongyan Qiu']},
	longbooktitle = {Formal Methods and Software Engineering,
               13th International Conference on Formal
               Engineering Methods, ICFEM 2011, Durham,
               UK, October 26-28, 2011. Proceedings},
	publisher = {Springer},
	series = {LNCS},
	volume = {6991},
	isbn = {},
	keywords = {Hybrid systems, theorem proving, formal
               verification, distributed systems}
}