Peter Deussen
-
Iterating Transducers
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification