- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Limit-Deterministic Büchi Automata for Linear Temporal Logic
other
July 13 2016
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references23
- Record: found
- Abstract: not found
- Conference Proceedings: not found
On the complexity of omega -automata
S. Safra (1988)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Patterns in property specifications for finite-state verification
James Corbett, George Avrunin, Matthew Dwyer (1999)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Automatic verification of probabilistic concurrent finite state programs
Moshe Vardi (1985)