Symbolic Model Checking of Logics with Actions

TitleSymbolic Model Checking of Logics with Actions
Publication TypeConference Paper
Year of Publication2007
AuthorsPecheur, C, Raimondi F
EditorSpringer
Conference NameWorkshop on Model Checking and Artificial Intelligence (MOCHART), Riva del Garda, Italy, 29 Aug 2006
URLhttp://lvl.info.ucl.ac.be/Publications/SymbolicModelCheckingOfLogicsWithActions