Home > Research > Publications & Outputs > Testing Petri Nets for Mobile Robots Using Groe...
View graph of relations

Testing Petri Nets for Mobile Robots Using Groebner Bases

Research output: Contribution to conference - Without ISBN/ISSN Other

Unpublished

Standard

Testing Petri Nets for Mobile Robots Using Groebner Bases. / Chandler, A.; Blair, Lynne; Heyworth, A. et al.
2000. Workshop on Software Engineering and Petri Nets.

Research output: Contribution to conference - Without ISBN/ISSN Other

Harvard

APA

Vancouver

Chandler A, Blair L, Heyworth A, Seward D. Testing Petri Nets for Mobile Robots Using Groebner Bases. 2000. Workshop on Software Engineering and Petri Nets.

Author

Chandler, A. ; Blair, Lynne ; Heyworth, A. et al. / Testing Petri Nets for Mobile Robots Using Groebner Bases. Workshop on Software Engineering and Petri Nets.

Bibtex

@conference{d54527e1570e4fd9bb785bd91f357989,
title = "Testing Petri Nets for Mobile Robots Using Groebner Bases",
keywords = "cs_eprint_id, 227 cs_uid, 1",
author = "A. Chandler and Lynne Blair and A. Heyworth and D. Seward",
year = "2000",
month = jan,
language = "English",
note = "Workshop on Software Engineering and Petri Nets ; Conference date: 01-01-1900",

}

RIS

TY - CONF

T1 - Testing Petri Nets for Mobile Robots Using Groebner Bases

AU - Chandler, A.

AU - Blair, Lynne

AU - Heyworth, A.

AU - Seward, D.

PY - 2000/1

Y1 - 2000/1

KW - cs_eprint_id

KW - 227 cs_uid

KW - 1

M3 - Other

T2 - Workshop on Software Engineering and Petri Nets

Y2 - 1 January 1900

ER -