Compositional verification of concurrent systems by combining bisimulations

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Lang, Frederic; Mateescu, Radu; Mazzanti, Franco

Journal title: "FM 2019 - 23rd International Conference on Formal Methods, Oct 2019, Porto, Portugal. pp.196-213, ⟨10.1007/978-3-030-30942-8_13⟩"

Journal number: 3

Journal publisher: Springer Nature

Published year: 2019

Published pages: 83-125

DOI identifier: 10.1007/978-3-030-30942-8_13

ISSN: 1572-8102