André Platzer
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
CSL, 2010.
@inproceedings{CSL-2010-Platzer, author = "André Platzer", booktitle = "{Proceedings of the 19th EACSL Annual Conference / 24th International Workshop on Computer Science Logic}", doi = "10.1007/978-3-642-15205-4_36", isbn = "978-3-642-15204-7", pages = "469--483", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Quantified Differential Dynamic Logic for Distributed Hybrid Systems}", volume = 6247, year = 2010, }