TITLE     : On-the-fly fluid model checking via discrete time population models - Extended version.
AUTHOR(S) : Latella D, Loreti M, Massink M
TYPE      : Other
YEAR      : 2014
CODE      : 290140

*** DO NOT EDIT THIS FILE ***