Lomuscio, A;
Pecheur, C;
Raimondi, F;
(2007)
Automatic verification of knowledge and time with NuSMV.
In: Veloso, M, (ed.)
(pp. pp. 1384-1389).
IJCAI/ AAAI Press: Menlo Park, US.
![[thumbnail of 5616.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
5616.pdf Download (164kB) |
| 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.p... |
| UCL classification: | UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/5616 |
Downloads since deposit
423Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
