Mathias Hülsbusch, Barbara König 0001, Sebastian Küpper, Lars Stoltenow. Conditional Bisimilarity for Reactive Systems. In Zena M. Ariola, editor, 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference). Volume 167 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
@inproceedings{Hulsbusch0KS20,
title = {Conditional Bisimilarity for Reactive Systems},
author = {Mathias Hülsbusch and Barbara König 0001 and Sebastian Küpper and Lars Stoltenow},
year = {2020},
doi = {10.4230/LIPIcs.FSCD.2020.10},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.10},
researchr = {https://researchr.org/publication/Hulsbusch0KS20},
cites = {0},
citedby = {0},
booktitle = {5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)},
editor = {Zena M. Ariola},
volume = {167},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-155-9},
}