"SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri ..."

Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics