Conrado Daws, Sergio Yovine. Two Examples of Verification of Multirate Timed Automata with Kronos. In IEEE Real-Time Systems Symposium. pages 66-75, 1995.
@inproceedings{DawsY95,
title = {Two Examples of Verification of Multirate Timed Automata with Kronos},
author = {Conrado Daws and Sergio Yovine},
year = {1995},
researchr = {https://researchr.org/publication/DawsY95},
cites = {0},
citedby = {0},
pages = {66-75},
booktitle = {IEEE Real-Time Systems Symposium},
}