Clemens Fischer, Stephan Kleuker, Ernst-Rüdiger Olderog. Beweisbar korrekte Telekommunikationssysteme. it - Information Technology, 39(3):22-28, 1997. [doi]
@article{FischerKO97,
title = {Beweisbar korrekte Telekommunikationssysteme},
author = {Clemens Fischer and Stephan Kleuker and Ernst-Rüdiger Olderog},
year = {1997},
doi = {10.1524/itit.1997.39.3.22},
url = {http://dx.doi.org/10.1524/itit.1997.39.3.22},
researchr = {https://researchr.org/publication/FischerKO97},
cites = {0},
citedby = {0},
journal = {it - Information Technology},
volume = {39},
number = {3},
pages = {22-28},
}