User menu

Automatic Verification of Knowledge and Time with NuSMV

Bibliographic reference Lomuscio, Alessio ; Pecheur, Charles ; Raimondi, Franco. Automatic Verification of Knowledge and Time with NuSMV.Proceedings of IJCAI 07 (Hyderabad, India, du 06/01/2007 au 12/01/2007). In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI/ AAAI Press2007, p.1384-1389
Permanent URL http://hdl.handle.net/2078.1/79759