Walter Dosch, Annette Stümpel. Introducing Control States into Communication Based Specifications of Interactive Components. In Hamid R. Arabnia, Hassan Reza, editors, Proceedings of the International Conference on Software Engineering Research and Practice, SERP 04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 2. pages 875-882, CSREA Press, 2004.
Abstract is missing.