Towards an Isabelle Theory for distributed, interactive systems - the untimed case (bibtex)
by Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla
Reference:
J. C. Bürger, H. Kausch, D. Raco, J. O. Ringert, B. Rumpe, S. Stüber, and M. Wiartalla. Towards an Isabelle Theory for distributed, interactive systems - the untimed case, Technical report AIB-2020-02, RWTH Aachen University, March, 2020.
Bibtex Entry:
@techreport{BKR+20,
    key = {BKR+20},
    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},
    title = {{Towards an Isabelle Theory for distributed, interactive systems - the untimed case}},
    institution = {RWTH Aachen University},
    year = {2020},
    month = {March},
    number = {AIB-2020-02},
    url = {http://www.se-rwth.de/publications/Towards-an-Isabelle-Theory-for-distributed-interactive-systems-the-untimed-case.pdf}
}
Powered by bibtexbrowser