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, Aachener Informatik Berichte, Software Engineering, Band 45, Shaker Verlag, March, 2020.
Bibtex Entry:
@book{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}},
    organization = {Software Engineering},
    school = {RWTH Aachen University},
    year = {2020},
    month = {March},
    series = {Aachener Informatik Berichte, Software Engineering, Band 45},
    publisher = {Shaker Verlag},
    url = {http://www.se-rwth.de/publications/Towards-an-Isabelle-Theory-for-distributed-interactive-systems-the-untimed-case.pdf}
}
Powered by bibtexbrowser