Efficient model checking via büchi tableau automata
- Girish S. Bhat
- , Rance Cleaveland
- , Alex Groce
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
21
Link opens in a new tab
Scopus
citations