Alan K. Mackworth's Publications

• Sorted by Date • Classified by Publication Type • Sorted by First Author Last Name • Classified by Author Last Name •

Specification and verification of hybrid dynamic systems with timed all-automata

Y. Zhang and Alan K. Mackworth. Specification and verification of hybrid dynamic systems with timed all-automata. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems, III, Verification and Control, Lecture Notes in Computer Science, pp. 587–603, Springer Verlag, Cambridge, MA, 1996.

Download

(unavailable)

Abstract

@InCollection{HSIIIVC96,
  author =	 {Y. Zhang and Alan K. Mackworth},
  title =	 {Specification and verification of hybrid dynamic systems with timed all-automata},
  booktitle =    {Hybrid Systems, III, Verification and Control},
  Editor =       {R. Alur and T. A. Henzinger and E. D. Sontag},
  publisher =    {Springer Verlag},
  series =       {Lecture Notes in Computer Science},
  volume =       {1066},
  year =	 {1996}, 
  month =        {},
  address =      {Cambridge, MA},
  pages =         {587--603},
  abstract =	 {},
  bib2html_pubtype ={Book Chapter},
  bib2html_rescat ={},
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Apr 23, 2014 19:08:35