Electronic Communications of the EASST
San Pietro, Pierluigi, Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano, Italy
-
Volume 66: Automated Verification of Critical Systems 2013 - Articles
On the Satisfiability of Metric Temporal Logics over the Reals
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.