"Deciding Correctness with Fairness for Simple Transducer Networks."

Tom J. Ameloot (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics