Hartmann J. Genrich, Kurt Lautenbach. The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. In Gilles Kahn, editor, Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979. Volume 70 of Lecture Notes in Computer Science, pages 123-147, Springer, 1979.
@inproceedings{GenrichL79,
title = {The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets},
author = {Hartmann J. Genrich and Kurt Lautenbach},
year = {1979},
tags = {analysis},
researchr = {https://researchr.org/publication/GenrichL79},
cites = {0},
citedby = {0},
pages = {123-147},
booktitle = {Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979},
editor = {Gilles Kahn},
volume = {70},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-09511-X},
}