|
eCommons@Cornell >
Browsing by Author Klarlund, Nils
Showing results 3 to 8 of 8
| Preview | Issue Date | Title | Author(s) | | Sep-1990 | Progress Measures and Finite Arguments for Infinite Computation | Klarlund, Nils |
| Nov-1990 | Progress Measures for Verification Involving Nondeterminism | Klarlund, Nils; Schneider, Fred B. |
| May-1991 | Proving Nondeterministically Specified Safety Properties Using Progress Measures | Klarlund, Nils; Schneider, Fred B. |
| Apr-1991 | Rabin Measures and Their Applications to Fairness and Automata Theory | Klarlund, Nils; Kozen, Dexter |
| Feb-1990 | Verification Conditions for $\omega$-Automata and Applications to Fairness | Klarlund, Nils |
| Sep-1989 | Verifying Safety Properties Using Non-deterministic Infinite-state Automata | Klarlund, Nils; Schneider, Fred B. |
Showing results 3 to 8 of 8
|
