User menu

Symbolic Model Checking of Logics with Actions

Bibliographic reference Pecheur, Charles ; Raimondi, Franco. Symbolic Model Checking of Logics with Actions.Proceedings of MOCHART 4: Model Checking and Artificial Intelligence (Riva del Garda, Italy, du August 29, 2006 au 29/08/2006). In: Stefan Edelkamp and Alessio Lomuscio, Model Checking and Artificial Intelligence, Springer : Berlin2007, p.113-128
Permanent URL http://hdl.handle.net/2078.1/79761