Lancaster EPrints

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: Conference or Workshop Item (Other)
Journal or Publication Title: Workshop on Software Engineering and Petri Nets
Uncontrolled Keywords: cs_eprint_id ; 227 cs_uid ; 1
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
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 16:50
Refereed?: No
Published?: Unpublished
Last Modified: 17 Sep 2013 09:51
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/11766

Actions (login required)

View Item