Edmundo López Bóbeda, Maximilien Colange, Didier Buchs. StrataGEM: A Generic Petri Net Verification Framework. In Gianfranco Ciardo, Ekkart Kindler, editors, Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings. Volume 8489 of Lecture Notes in Computer Science, pages 364-373, Springer, 2014. [doi]
Abstract is missing.