Artur Meski, Agata Pólrola, Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny. Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets. In Michael Duvigneau, Daniel Moldt, Kunihiko Hiraishi, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011. Volume 723 of CEUR Workshop Proceedings, pages 72-91, CEUR-WS.org, 2011. [doi]
Abstract is missing.