Temporal reasoning under generalized fairness constraints: Extended abstract
Allen Emerson, E. ; Lei, Chin-Laung Vidal-Naquet, G. ; Monien, B.
STACS 86, 2005, p.21-36
[Periódico revisado por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível