Towards an Isabelle Theory for distributed, interactive systems : the untimed case
| Autor: | Bürger, Jens Christoph, Kausch, Hendrik, Raco, Deni, Ringert, Jan Oliver, Rumpe, Bernhard, Stüber, Sebastian Wolfram, Wiartalla, Marc |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Zdroj: | Düren : Shaker Verlag, Aachener Informatik-Berichte, Software-Engineering 45, 254 Seiten (2020). doi:10.18154/RWTH-2020-10398 |
| DOI: | 10.18154/rwth-2020-10398 |
| Popis: | Düren : Shaker Verlag, Aachener Informatik-Berichte, Software-Engineering 45, 254 Seiten (2020). Published by Shaker Verlag, Düren |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|