TITLE     : Fluid model checking
AUTHOR(S) : Bortolussi L, Hillston J
TYPE      : Conference article
YEAR      : 2012
CODE      : 221040

*** DO NOT EDIT THIS FILE ***