Items where Author is "Heyworth, A."

Contribution to Conference

Chandler, A. and Heyworth, A. (2001) Grobner Bases as a Tool for Petri Net Analysis. In: Conference on Cybernetics and Informatics, 1900-01-01. (Unpublished)

Chandler, A. and Blair, Lynne and Heyworth, A. and Seward, D. (2000) Testing Petri Nets for Mobile Robots Using Groebner Bases. In: Workshop on Software Engineering and Petri Nets, 1900-01-01. (Unpublished)