- Tytuł:
- Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics
- Autorzy:
-
Knapik, M.
Penczek, W.
Szreter, M.
Półrola, A. - Data publikacji:
- 2010
- Słowa kluczowe:
-
Computation Tree Logic (CTL)
bounded model checking - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł