An Automaton Characterization of Fairness in SCCS.

Irne Guessarian, Wafaa Niar-Dinedane

Browse the full STACS paper archive.