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 Constraint-Based Dynamic Systems

Y. Zhang and Alan K. Mackworth. Specification and Verification of Constraint-Based Dynamic Systems. In A. Borning, editors, Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, pp. 229–242, Springer Verlag, Berlin, 1994.

Download

[PDF]754.3kB  

Abstract

@InCollection{PPCP94-ZM,
  author =	 {Y. Zhang and Alan K. Mackworth},
  title =	 {Specification and Verification of Constraint-Based Dynamic Systems},
  booktitle =    {Principles and Practice of Constraint Programming},
  Editor =       {A. Borning},
  publisher =    {Springer Verlag},
  series =       {Lecture Notes in Computer Science},
  volume =       {874},
  year =	 {1994}, 
  address =      {Berlin},
  pages =         {229--242},
  abstract =	 {},
  bib2html_pubtype ={Book Chapter},
  bib2html_rescat ={},
}

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