Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski. From Petri Nets with Shared Variables to ITL. In Jörg Desel, Alex Yakovlev, editors, 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016. pages 11-18, IEEE Computer Society, 2016. [doi]
@inproceedings{KlaudelKM16,
title = {From Petri Nets with Shared Variables to ITL},
author = {Hanna Klaudel and Maciej Koutny and Ben C. Moszkowski},
year = {2016},
doi = {10.1109/ACSD.2016.12},
url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2016.12},
researchr = {https://researchr.org/publication/KlaudelKM16},
cites = {0},
citedby = {0},
pages = {11-18},
booktitle = {16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016},
editor = {Jörg Desel and Alex Yakovlev},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-2589-3},
}