Emmanuel de Rosière, Claude Jard, Benoit Parreaux. LaTe, a Non-fully Deterministic Testing Language. In M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko, editors, Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings. Volume 3964 of Lecture Notes in Computer Science, pages 71-86, Springer, 2006. [doi]
Abstract is missing.