Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
>
Publications & Outputs
>
Testing Petri Nets for Mobile Robots Using Groe...
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
Computing and Communications
School of Engineering
Links
http://www.comp.lancs.ac.uk/computing/users/lb/Postscript/SEPN00.pdf
Keywords
cs_eprint_id
,
227 cs_uid
,
1
View graph of relations
Testing Petri Nets for Mobile Robots Using Groebner Bases
Research output
:
Contribution to conference - Without ISBN/ISSN
›
Other
Unpublished
Overview
Cite this
A. Chandler
Lynne Blair
A. Heyworth
D. Seward
Close
More...
Publication date
01/2000
<mark>Original language</mark>
English
Event
Workshop on Software Engineering and Petri Nets
-
Duration:
1/01/1900
→ …
Conference
Conference
Workshop on Software Engineering and Petri Nets
Period
1/01/00
→ …