Mahesh Girkar, Robert Moll. Vector Sequence Analysis and Full Weak Safety for Concurrent Systems. In Zoltán Ésik, editor, Fundamentals of Computation Theory, 9th International Symposium, FCT 93, Szeged, Hungary, August 23-27, 1993, Proceedings. Volume 710 of Lecture Notes in Computer Science, pages 256-265, Springer, 1993.
@inproceedings{GirkarM93,
title = {Vector Sequence Analysis and Full Weak Safety for Concurrent Systems},
author = {Mahesh Girkar and Robert Moll},
year = {1993},
tags = {analysis},
researchr = {https://researchr.org/publication/GirkarM93},
cites = {0},
citedby = {0},
pages = {256-265},
booktitle = {Fundamentals of Computation Theory, 9th International Symposium, FCT 93, Szeged, Hungary, August 23-27, 1993, Proceedings},
editor = {Zoltán Ésik},
volume = {710},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57163-9},
}