Michal Knapik, Wojciech Penczek, Maciej Szreter, Agata Pólrola. Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics. Fundamenta Informaticae, 101(1-2):9-27, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.