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 Proc. Second Workshop on Principles and Practise of Constraint Programming, pp. 206–215, Orcas Is., WA, May 1994.

Download

[PDF]212.1kB  

Abstract

@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 ={},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Dec 20, 2010 13:32:59