A Specification Format for Rooted Branching Bisimulation

Research output: Contribution to journal › Article › Academic › peer-review

Access to Document

@article{eacbebea57c44c2e96720de377729945,

title = "A Specification Format for Rooted Branching Bisimulation",

author = "Valentina Castiglioni and Ruggero Lanotte and Simone Tini",

year = "2014",

doi = "10.3233/FI-2014-1128",

language = "English",

volume = "135",

pages = "355--369",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "SAGE Publications Ltd",

number = "4",

}