@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Alan K. Mackworth's publication pages at
@COMMENT http://www.cs.ubc.ca/~mack/publications
@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 ={},
}