User menu

Rich counter-examples for ACTL model checking

Bibliographic reference Busard, Simon ; Pecheur, Charles. Rich counter-examples for ACTL model checking.Grascomp's Day (Université Libre de Bruxelles, Brussels, Belgium, du 03/11/2011 au 03/11/2011).
Permanent URL http://hdl.handle.net/2078.1/124340