Electronic Notes in Theoretical Computer Science, Volume 111

Volume 111, January 2005

Proceedings of the Workshop on Model Based Testing (MBT 2004)
maintained by Schloss Dagstuhl LZI at University of Trier