𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Bounded Model Checking of CTL

✍ Scribed by Zhi-Hong Tao; Cong-Hua Zhou; Zhong Chen; Li-Fu Wang


Publisher
Springer
Year
2007
Tongue
English
Weight
337 KB
Volume
22
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Local Distributed Model Checking of Reg
✍ TomΓ‘Ε‘ BrΓ‘zdil; Ivana ČernΓ‘ πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 206 KB