TITLE     : Model Checking : cos'è e come si applica
AUTHOR(S) : Alessandro Fantechi, Stefania Gnesi
TYPE      : Journal article
YEAR      : 2011
CODE      : 199965

*** DO NOT EDIT THIS FILE ***