Vörös, András, Budapest University of Technology and Economics
-
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) - Articles
Backward Reachability Analysis for Timed Automata with Data Variables
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.