Bernhard Hohlfeld. Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften. In Andreas Pfitzmann, Eckart Raubold, editors, VIS 91, Verläßliche Informationssysteme, GI-Fachtagung, Darmstadt, 13.-15. März 1991, Proceedings. Volume 271 of Informatik-Fachberichte, pages 227-242, Springer, 1991.
@inproceedings{Hohlfeld91,
title = {Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften},
author = {Bernhard Hohlfeld},
year = {1991},
researchr = {https://researchr.org/publication/Hohlfeld91},
cites = {0},
citedby = {0},
pages = {227-242},
booktitle = {VIS 91, Verläßliche Informationssysteme, GI-Fachtagung, Darmstadt, 13.-15. März 1991, Proceedings},
editor = {Andreas Pfitzmann and Eckart Raubold},
volume = {271},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-53911-5},
}