Nicola Mazzocca, Stefano Russo, Valeria Vittorini. Integrating Trace Logic and Petri Nets Specifications. In HICSS (3). pages 443-451, 1997. [doi]
@inproceedings{MazzoccaRV97,
title = {Integrating Trace Logic and Petri Nets Specifications},
author = {Nicola Mazzocca and Stefano Russo and Valeria Vittorini},
year = {1997},
url = {http://csdl.computer.org/comp/proceedings/hicss/1997/7734/01/7734010443abs.htm},
tags = {logic},
researchr = {https://researchr.org/publication/MazzoccaRV97},
cites = {0},
citedby = {0},
pages = {443-451},
booktitle = {HICSS (3)},
}