DawsY95'

BibTeX

@inproceedings{DBLP:conf/rtss/DawsY95,
  author    = {Conrado Daws and
               Sergio Yovine},
  title     = {Two Examples of Verification of Multirate Timed Automata
               with Kronos},
  booktitle = {IEEE Real-Time Systems Symposium},
  year      = {1995},
  pages     = {66-75},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}