@inproceedings{DLS01,
title = {Iterating Transducers },
author = {Dams, Dennis and Lakhnech, Yassine and Steffen, Martin},
year = {2001},
booktitle = {Computer Aided Verification'01},
series = {LNCS},
volume = {2057},
team = {DCS},
}
