Carolyn Brown, Doug Gurr. Temporal Logic and Categories of Petrie Nets. In Andrzej Lingas, Rolf G. Karlsson, Svante Carlsson, editors, Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings. Volume 700 of Lecture Notes in Computer Science, pages 570-581, Springer, 1993.
@inproceedings{BrownG93,
title = {Temporal Logic and Categories of Petrie Nets},
author = {Carolyn Brown and Doug Gurr},
year = {1993},
tags = {logic},
researchr = {https://researchr.org/publication/BrownG93},
cites = {0},
citedby = {0},
pages = {570-581},
booktitle = {Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
editor = {Andrzej Lingas and Rolf G. Karlsson and Svante Carlsson},
volume = {700},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56939-1},
}