Kaizhi Yue. Representing first order logic-based specifications in Petri-net-like graphs. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 291-293, ACM, 1989. [doi]
@inproceedings{Yue89-1,
title = {Representing first order logic-based specifications in Petri-net-like graphs},
author = {Kaizhi Yue},
year = {1989},
doi = {10.1145/75200.75245},
url = {https://doi.org/10.1145/75200.75245},
researchr = {https://researchr.org/publication/Yue89-1},
cites = {0},
citedby = {0},
pages = {291-293},
booktitle = {Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989},
editor = {Sol J. Greenspan},
publisher = {ACM},
isbn = {978-0-89791-305-8},
}