Testing Petri Nets for Mobile Robots Using Groebner Bases

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: Faculty of Science and Technology > School of Computing & Communications
Faculty of Science and Technology > Engineering
VC's Office
ID Code: 11766
Deposited By: ep_importer_comp
Deposited On: 07 Jul 2011 15:50
Refereed?: No
Published?: Unpublished
Last Modified: 27 Jul 2019 23:52
URI: https://eprints.lancs.ac.uk/id/eprint/11766

Actions (login required)

View Item View Item