Branching time bounded model checking for elementary net systems* /
| Основен автор: | Penczek, Wojciech |
|---|---|
| Други автори: | Wozna, Bozena, Zbrzezny, Andrzej |
| Формат: | Статия |
| Език: | English |
| Публикувано: |
Warszawa :
IPI PAN.,
2002.
|
| Серия: |
Prace IPI PAN
Vol. 940 |
| Предмети: |
| Налични ИМИ | Сигнатура: |
P90C |
|---|