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.
![]() 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
362Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
![]() |
View Item |