Bounded model checking for interpreted systems* /
| Основен автор: | Penczek, Wojciech |
|---|---|
| Други автори: | Lomuscio, Alessio |
| Формат: | Статия |
| Език: | English |
| Публикувано: |
Warszawa :
IPI PAN.,
2002.
|
| Серия: |
Prace IPI PAN
Vol. 946 |
| Предмети: |
| Налични ИМИ | Сигнатура: |
P90C |
|---|