Rich counter-examples for ACTL model checking

Busard, Simon;Pecheur, Charles
(2011) Grascomp’s Day — Location: Université Libre de Bruxelles, Brussels, Belgium (3.November.2011)

Files

GRASCOMPContactDay-Poster.pdf
  • Restricted Access
  • Adobe PDF
  • 341.24 KB
Request a copy

Details

Authors
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Busard, S., & Pecheur, C. (2011). Rich counter-examples for ACTL model checking. Grascomp’s Day, Université Libre de Bruxelles, Brussels, Belgium. https://hdl.handle.net/2078.5/163264