Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Report
%1 BKR+20
%A Bürger, Jens Christoph
%A Kausch, Hendrik
%A Raco, Deni
%A Ringert, Jan Oliver
%A Rumpe, Bernhard
%A Stüber, Sebastian
%A Wiartalla, Marc
%D 2020
%K imported rwthAachenSE
%N AIB-2020-02
%T Towards an Isabelle Theory for distributed, interactive systems - the untimed case
%U http://www.se-rwth.de/publications/Towards-an-Isabelle-Theory-for-distributed-interactive-systems-the-untimed-case.pdf
@techreport{BKR+20,
added-at = {2021-01-15T11:47:37.000+0100},
author = {B{\"u}rger, Jens Christoph and Kausch, Hendrik and Raco, Deni and Ringert, Jan Oliver and Rumpe, Bernhard and St{\"u}ber, Sebastian and Wiartalla, Marc},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27952f42a47657968c59107922b68090f/isw-bibliothek},
institution = {RWTH Aachen University},
interhash = {0a052f4aae3afdfd3d9841b1a9d2e2de},
intrahash = {7952f42a47657968c59107922b68090f},
key = {BKR+20},
keywords = {imported rwthAachenSE},
month = {March},
number = {AIB-2020-02},
timestamp = {2021-01-15T10:47:37.000+0100},
title = {{Towards an Isabelle Theory for distributed, interactive systems - the untimed case}},
url = {http://www.se-rwth.de/publications/Towards-an-Isabelle-Theory-for-distributed-interactive-systems-the-untimed-case.pdf},
year = 2020
}