The Tool KRONOS (1996)

by C. Daws , A. Olivero , S. Tripakis , S. Yovine
Venue:In Proc. of Hybrid Systems III, LNCS 1066
Citations:232 - 39 self