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]
Abstract is missing.