Proving nondeterministically specified safety properties using progress measures
- Nils Klarlund
- Fred B. Schneider
- 1993
- Information and Computation
Publications
Date
Featured collections
Popular topics
5 results for Nils Klarlund
Progress measures and stack assertions for fair termination
- Nils Klarlund
- 1992
- PODC 1992
Progress measures, immediate determinacy, and a subset construction for tree automata
- Nils Klarlund
- 1992
- LICS 1992
Progress measures for complementation ω-automata with applications to temporal logic
- Nils Klarlund
- 1991
- FOCS 1991
Rabin measures and their applications to fairness and automata theory
- Nils Klarlund
- Dexter Kozen
- 1991
- LICS 1991