@inbook{Larsen_2022,
    title = {Simulation Relations and Applications in Formal Methods},
    isbn = {9783031223372},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-22337-2_13},
    doi = {10.1007/978-3-031-22337-2_13},
    booktitle = {Principles of Systems Design},
    publisher = {Springer Nature Switzerland},
    author = {Larsen, Kim G. and Schilling, Christian and Srba, Jiří},
    year = {2022},
    pages = {272–291},
    date-added = {2026-3-23 22:38:57 +0100}
}

@inbook{Larsen_2022, title = {Simulation Relations and Applications in Formal Methods}, isbn = {9783031223372}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-22337-2_13}, doi = {10.1007/978-3-031-22337-2_13}, booktitle = {Principles of Systems Design}, publisher = {Springer Nature Switzerland}, author = {Larsen, Kim G. and Schilling, Christian and Srba, Jiří}, year = {2022}, pages = {272–291}, date-added = {2026-3-23 22:38:57 +0100} }