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)
Full text not available from this repository.Item Type:
Contribution to Conference
(Other)
Journal or Publication Title:
Workshop on Software Engineering and Petri Nets
Uncontrolled Keywords:
/dk/atira/pure/researchoutput/libraryofcongress/qa75
Subjects:
Departments:
ID Code:
11766
Deposited By:
Deposited On:
07 Jul 2011 15:50
Refereed?:
No
Published?:
Unpublished
Last Modified:
22 Nov 2022 13:23