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]
@inproceedings{MeskiPPWZ11,
title = {Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets},
author = {Artur Meski and Agata Pólrola and Wojciech Penczek and Bozena Wozna-Szczesniak and Andrzej Zbrzezny},
year = {2011},
url = {http://ceur-ws.org/Vol-723/paper6.pdf},
researchr = {https://researchr.org/publication/MeskiPPWZ11},
cites = {0},
citedby = {0},
pages = {72-91},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011},
editor = {Michael Duvigneau and Daniel Moldt and Kunihiko Hiraishi},
volume = {723},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}