Talks

Rich Counter-Examples for ACTL Model Checking

Title
Rich Counter-Examples for ACTL Model Checking
Speaker(s)
Simon Busard
Context
Grascomp’s Contact Day, November 3rd, 2011, Université Libre de Bruxelles, Brussels, Belgium
File(s)
GRASCOMPContactDay-Poster.pdf

Speakers
Simon Busard
Tags
,