Quantified differential dynamic logic for distributed hybrid systems

@techreport{DBLP:conf/csl/Platzer10:TR,
	ref = {DBLP:conf/csl/Platzer10},
	author = {['André Platzer']},
	title = {Quantified Differential Dynamic Logic
               for Distributed Hybrid Systems},
	number = {CMU-CS-10-126},
	year = {2010},
	month = {May},
	institution = {School of Computer Science,
               Carnegie Mellon University},
	address = {Pittsburgh, PA},
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2010/CMU-CS-10-126.pdf}
}