Format:
https://www.react.uni-saarland.de/tools/bosy/
https://github.com/reactive-systems/bosy
https://www.react.uni-saarland.de/tools/online/BoSy/
https://doi.org/10.1007/978-3-030-53291-8_4
https://doi.org/10.1007/978-3-319-63390-9_17
https://doi.org/10.1007/978-3-662-54577-5_20
View/edit source (Markdown)