TITLE     : Model checking single agent behaviours by fluid approximation
AUTHOR(S) : Bortolussi L, Hillston J
TYPE      : Journal article
YEAR      : 2015
CODE      : 338989

*** DO NOT EDIT THIS FILE ***