TITLE     : Model checking value-passing modal specifications
AUTHOR(S) : Ter Beek M H, Gnesi S, Mazzanti F
TYPE      : Conference article
YEAR      : 2014
CODE      : 294421

*** DO NOT EDIT THIS FILE ***