[BibTeX] [RIS]
Action Planning for Directed Model Checking of Petri Nets
Type of publication: Article
Citation: edelkamp:2006:apd
Journal: Electronic Notes in Theoretical Computer Science
Volume: 149
Number: 2
Year: 2006
Month: February
Pages: 3--18
Publisher: Elsevier Science Publishers B. V.
Address: Amsterdam, The Netherlands, The Netherlands
ISSN: 1571-0661
Userfields: acmid={1706736}, date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, issue_date={February, 2006}, numpages={16}, project={fremdliteratur}, xxxdoi={10.1016/j.entcs.2005.07.023}, xxxurl={http://dx.doi.org/10.1016/j.entcs.2005.07.023},
Keywords: Action Planning, Directed Model Checking, PDDL, Petri nets
Authors Edelkamp, Stefan
Jabbar, Shahid