60395

Computer Aided Verification 31st International Conference, CAV 2019 New York City, NY, USA, July 15–18, 2019 Proceedings, Part I

Switzerland Springer

2019

680

9783030255404

انگليسي

Timed Systems , Timed Automata , Handling Diagonal Constraints