Towards Bounded Model Checking for the Universal Fragment of TCTL (2002)
by
Wojciech Penczek
,
Bozena Wozna
,
Andrzej Zbrzezny
| Citations: | 3 - 2 self |
Document Versions
| Towards Bounded Model Checking for the Universal Fragment of TCTL –Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny — 2002 |
