eCommons@Cornell >
Browsing by Author Klarlund, Nils
Showing results 2 to 8 of 8
Preview  Issue Date  Title  Author(s)   Feb1990  Limit Operators and Convergence Measures for $\omega$Languages with Applications to Extreme Fairness  Klarlund, Nils 
 Sep1990  Progress Measures and Finite Arguments for Infinite Computation  Klarlund, Nils 
 Nov1990  Progress Measures for Verification Involving Nondeterminism  Klarlund, Nils; Schneider, Fred B. 
 May1991  Proving Nondeterministically Specified Safety Properties Using Progress Measures  Klarlund, Nils; Schneider, Fred B. 
 Apr1991  Rabin Measures and Their Applications to Fairness and Automata Theory  Klarlund, Nils; Kozen, Dexter 
 Feb1990  Verification Conditions for $\omega$Automata and Applications to Fairness  Klarlund, Nils 
 Sep1989  Verifying Safety Properties Using Nondeterministic Infinitestate Automata  Klarlund, Nils; Schneider, Fred B. 
Showing results 2 to 8 of 8
