MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Coping With Strong Fairness." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Coping With Strong Fairness
by Timo Latvala, Keijo Heljanko — 2000
…Fundamenta Informaticae 34 (2000) 119 1 IOS Press Coping With Strong Fairness Timo Latvala…
Cited by 7 (3 self) – Add To MetaCart

Coping with Strong Fairness - On-the-fly Emptiness Checking for Streett Automata
by Timo Latvala, Keijo Heljanko — 1999
…Coping With Strong Fairness On-the-AEy Emptiness Checking for Streett Automata Timo Latvala !Timo…
Add To MetaCart

Anna-Maria - Application of New Net-Theoretic Analysis Methods in Maria - a Modular Reachability Analyser
by Theoretical Computer Science Laboratory — 2001
…. [LH00a] Timo Latvala and Keijo Heljanko. Coping with strong fairness. Fundamenta Informaticae, 43…
Add To MetaCart

Model checking linear temporal logic properties of Petri nets with fairness constraints
by Abteknillinen Korkeakoulu, Universite De, Timo Latvala, Timo Latvala, Tietotekniikan Osasto, Picaset Oy
… to cope with strong fairness constraints when model checking CTL properties of a Kripke structure. A…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB