Deciding Correctness with Fairness for Simple Transducer Networks.

Tom J. Ameloot

Browse the full ICDT paper archive.