@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@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 ={},
}