Testing Petri Nets for Mobile Robots Using Groebner Bases

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

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

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 -

Research

Links

Keywords