Talks

Symbolic Model Checking of Logics with Actions

Title
Symbolic Model Checking of Logics with Actions
Speaker(s)
Charles Pecheur
Context
MOCHART Workshop, Riva del Garda, Italy, Aug 29, 2006
File(s)
pecheur-mochart2006-slides

Related Publication(s):


Speakers
Charles Pecheur
Tags
, , ,