"Direct Formal Verification of Liveness Properties in Continuous and Hybrid ..."

Andrew Sogokon, Paul B. Jackson (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics