Frédéric Lang, Radu Mateescu 0001, Franco Mazzanti. Compositional verification of concurrent systems by combining bisimulations. Formal Methods in System Design, 58(1):83-125, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.