- Tytuł:
- Branching Time Bounded Model Checking for Elementary Net Systems
- Autorzy:
-
Penczek, W.
Woźna, B.
Zbrzezny, A. - Data publikacji:
- 2001
- Słowa kluczowe:
-
ograniczona weryfikacja modelowa
sieci elementarne
weryfikacja systemów
bounded model checking
elementary net systems
systems verification - Pokaż więcej
- Dostawca treści:
- BazTech