Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén. Computer Aided Verification of Parallel Processes. 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 208-226, Springer, 1991.
@inproceedings{EstenfeldSTT91,
title = {Computer Aided Verification of Parallel Processes},
author = {Klaus Estenfeld and Hans-Albert Schneider and Dirk Taubner and Erik Tidén},
year = {1991},
researchr = {https://researchr.org/publication/EstenfeldSTT91},
cites = {0},
citedby = {0},
pages = {208-226},
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},
}