TITLE     : Compositional verification of concurrent systems by combining bisimulations
AUTHOR(S) : Frédéric Lang F, Mateescu R, Mazzanti F
TYPE      : Journal article
YEAR      : 2021
CODE      : 453639

*** DO NOT EDIT THIS FILE ***