Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki. Methods of Translation of Petri Nets to NuSMV Language. In Louchka Popova-Zeugmann, editor, Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014. Volume 1269 of CEUR Workshop Proceedings, pages 245-256, CEUR-WS.org, 2014. [doi]
@inproceedings{SzpyrkaBB14,
title = {Methods of Translation of Petri Nets to NuSMV Language},
author = {Marcin Szpyrka and Agnieszka Biernacka and Jerzy Biernacki},
year = {2014},
url = {http://ceur-ws.org/Vol-1269/paper245.pdf},
researchr = {https://researchr.org/publication/SzpyrkaBB14},
cites = {0},
citedby = {0},
pages = {245-256},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
editor = {Louchka Popova-Zeugmann},
volume = {1269},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}