Kronos: a model-checking tool for real-time systems (0)

by M Bozga, C Daws, O Maler, A Olivero, S Tripakis, S Yovine
Venue:In Proc. of the 10th Conference on Computer-Aided Verification