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 | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|