Two Examples of Verification of Multirate Timed Automata with Kronos.

Conrado Daws, Sergio Yovine

Browse the full RTSS paper archive.