Planning via Model Checking: A Decision Procedure for {{\it AR}}
Type of publication: | Inproceedings |
Citation: | cimatti:1997:pmc |
Booktitle: | European Conference on Planning (ECP) |
Year: | 1997 |
Pages: | 130-142 |
Crossref: | DBLP:conf/ecp/1997: |
DOI: | 10.1007/3-540-63912-8_81 |
Userfields: | bibsource={DBLP, http://dblp.uni-trier.de}, date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, project={fremdliteratur}, |
Keywords: | |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|