Towards an Isabelle Theory for distributed, interactive systems : the untimed case

Bürger, Jens Christoph; Kausch, Hendrik; Raco, Deni; Ringert, Jan Oliver; Rumpe, Bernhard; Stüber, Sebastian Wolfram; Wiartalla, Marc Oliver

Düren : Shaker Verlag (2020, 2022)
Buch, Bericht (ResearchPaper)

In: Aachener Informatik-Berichte, Software-Engineering 45
Seite(n)/Artikel-Nr.: 254 Seiten