Howey, R. and Long, D. (2003) The automatic validation tool for PDDL2.1. In: 10th Workshop on Automated Reasoning, 2003-04-15 - 2003-04-16, Liverpool.
![[img]](http://strathprints.strath.ac.uk/style/images/fileicons/application_pdf.png)
| PDF (strathprints002719.pdf) Download (26Kb) | Preview |
Official URL: http://www.cis.strath.ac.uk/research/publications/...
| Item type: | Conference or Workshop Item (Paper) |
|---|---|
| ID code: | 2719 |
| Keywords: | Electronic computers. Computer science |
| Subjects: | Science > Mathematics > Electronic computers. Computer science |
| Department: | Faculty of Science > Computer and Information Sciences |
| Related URLs: | |
| Depositing user: | Strathprints Administrator |
| Date Deposited: | 23 Mar 2007 |
| Last modified: | 06 Oct 2012 07:19 |
| URI: | http://strathprints.strath.ac.uk/id/eprint/2719 |
Actions (login required)
| View Item |
Fulltext Downloads: |