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 and
               Sarah M. Loos and
               Andr{\'e} 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 and
               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},
}```