TITLE     : Action-based model checking (and its applications to distributed, mobile, object-oriented systems)
AUTHOR(S) : Fantechi A, Gnesi S
TYPE      : Other
YEAR      : 2003
CODE      : 160109

*** DO NOT EDIT THIS FILE ***