• Sorted by Date • Classified by Publication Type • Sorted by First Author Last Name • Classified by Author Last Name •
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.
@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