Lomuscio, A and Pecheur, C and Raimondi, F (2007) Automatic verification of knowledge and time with NuSMV. In: Veloso, M, (ed.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. (pp. 1384 - 1389). IJCAI/ AAAI Press: Menlo Park, US.
![[img]](/style/images/fileicons/application_pdf.png)
| PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 160Kb |
| Type: | Proceedings paper |
|---|---|
| Title: | Automatic verification of knowledge and time with NuSMV |
| ISBN-13: | 9781577352983 |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | http://www.ijcai.org/papers07/Papers/IJCAI07-223.pdf |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
View download statistics for this itemArchive Staff Only: edit this record