Automatic Verification of Knowledge and Time with NuSMV

TitleAutomatic Verification of Knowledge and Time with NuSMV
Publication TypeConference Paper
Year of Publication2007
AuthorsLomuscio, A, Pecheur C, Raimondi F
Conference Name20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India
URLhttp://lvl.info.ucl.ac.be/Publications/AutomaticVerificationOfKnowledgeAndTimeWithNuSMV