Otthein Herzog. Static Analysis of Concurrent Processes for Dynamic Properties Using Petri 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 66-90, Springer, 1979.
@inproceedings{Herzog79, title = {Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets}, author = {Otthein Herzog}, year = {1979}, tags = {analysis, static analysis}, researchr = {https://researchr.org/publication/Herzog79}, cites = {0}, citedby = {0}, pages = {66-90}, 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}, }