@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
@InProceedings{PPCP94,
  author =	 {Y. Zhang and Alan K. Mackworth},
  title =	 {Specification and Verification of Constraint-Based Dynamic Systems},
  year =	 {1994}, 
  month =        {May},
  booktitle =	 {Proc. Second Workshop on Principles and Practise of Constraint Programming},
  address =      {Orcas Is., WA},
  pages =         {206--215},
  abstract =	 { },
  bib2html_pubtype ={Refereed Conference Proceeding},
  bib2html_rescat ={},
}