2 search results - page 1 / 1 » Finitary Fairness |
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
115
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract The class of ω-regular languages provide a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness...