Specifying and Proving Timing Properties with TIOA Tools. Kaynar, D.; Lynch, N.; and Mitra, S. In In the work in progress session of the 25th IEEE International Real-Time Systems Symposium (RTSS-WIP), Lisbon, Portugal, December, 2004.
bibtex   
@InProceedings{KLM04,
  author    = {Dilsun Kaynar and Nancy Lynch and Sayan Mitra},
  title     = {Specifying and Proving Timing Properties with {TIOA} Tools},
  booktitle = {In the work in progress session of the 25th {IEEE} International Real-Time Systems Symposium ({RTSS-WIP})},
  year      = {2004},
  address   = {Lisbon, Portugal},
  month     = {December},
  biburl    = {http://users.crhc.illinois.edu/mitras/research.html},
  keywords  = {Verification},
  psfurl    = {research/2004/wip04.ps.gz},
}
Downloads: 0