A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems

@article{DBLP:journals/lmcs/Platzer12b,
	pdf = {https://lmcs.episciences.org/720/pdf},
	ref = {DBLP:conf/csl/Platzer10},
	refname = {CSL'10},
	author = {['André Platzer']},
	title = {A Complete Axiomatization of
               Quantified Differential Dynamic Logic
               for Distributed Hybrid Systems},
	journal = {Logical Methods in Computer Science},
	volume = {8},
	number = {4},
	year = {2012},
	pages = {1-44},
	doi = {10.2168/LMCS-8(4:17)2012},
	note = {Special issue for selected papers from
               CSL'10}
}