Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla. Towards an Isabelle Theory for distributed, interactive systems: The untimed case. Volume 45 of Aachener Informatik-Berichte, Software Engineering, Shaker, 2020. [doi]
@book{aibse-StuberRRBKRW20,
title = {Towards an Isabelle Theory for distributed, interactive systems: The untimed case},
author = {Jens Christoph Bürger and Hendrik Kausch and Deni Raco and Jan Oliver Ringert and Bernhard Rumpe and Sebastian Stüber and Marc Wiartalla},
year = {2020},
url = {https://d-nb.info/1211930831},
researchr = {https://researchr.org/publication/aibse-StuberRRBKRW20},
cites = {0},
citedby = {0},
volume = {45},
series = {Aachener Informatik-Berichte, Software Engineering},
publisher = {Shaker},
isbn = {978-3-8440-7265-5},
}