TITLE     : Compositional verification of concurrent systems by combining bisimulations
AUTHOR(S) : Lang F, Mateescu R, Mazzanti F
TYPE      : Conference article
YEAR      : 2019
CODE      : 408348

*** DO NOT EDIT THIS FILE ***