Report copyright - Quantified Differential Dynamic Logic for Distributed ...aplatzer/pub/QdL.pdf · tributed hybrid systems and present a proof calculus for it. We prove that this calculus is a sound
Please pass captcha verification before submit form