"Streaming transducers for algorithmic verification of single-pass ..."

Rajeev Alur, Pavol Cerný (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics