TITLE     : Fluid Model Checking of Timed Properties
AUTHOR(S) : Bortolussi L, Lanciani R
TYPE      : Conference article
YEAR      : 2015
CODE      : 338995

*** DO NOT EDIT THIS FILE ***