SAT-Based bounded model checking* for the universal fragment of TCTL /
| Основен автор: | Penczek, Wojciech |
|---|---|
| Други автори: | Wozna, Bozena, Zbrzezny, Andrzej |
| Формат: | Статия |
| Език: | English |
| Публикувано: |
Warszawa :
IPI PAN.,
2002.
|
| Серия: |
Prace IPI PAN
Vol. 947 |
| Предмети: |
| Физически характеристики: |
26 p ; 34 cm. |
|---|