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: | 27 Jul 2012 01:25 |
| Identification Number: | |
| URI: | http://eprints.lancs.ac.uk/id/eprint/11766 |
Actions (login required)
| View Item |
