Uyar, M. Ümit (ed.); Duale, Ali Y. (ed.); Fecko, Mariusz A. (ed.) Testing of communicating systems. 18th IFIP TC6/ WG6.1 international conference, TestCom 2006, New York, NY, USA, May 16–18, 2006. Proceedings. (English) Zbl 1102.68008 Lecture Notes in Computer Science 3964. Berlin: Springer (ISBN 3-540-34184-6/pbk). xi, 373 p. (2006). MSC: 68-06 68M15 00B25 PDFBibTeX XMLCite \textit{M. Ü. Uyar} (ed.) et al., Testing of communicating systems. 18th IFIP TC6/ WG6.1 international conference, TestCom 2006, New York, NY, USA, May 16--18, 2006. Proceedings. Berlin: Springer (2006; Zbl 1102.68008) Full Text: DOI
Tenney, Richard L. (ed.); Amer, Paul D. (ed.); Uyar, M. Ümit (ed.) Formal description techniques, VI. Proceedings of the IFIP TC6/WG6.1 sixth international conference, FORTE ’93, Boston, MA (USA), 26-29 October 1993. (English) Zbl 0828.68021 IFIP Transactions C: Communication Systems. 22. Amsterdam: North-Holland. xv, 501 p. (1994). MSC: 68M10 68-06 00B25 68N15 PDFBibTeX XMLCite \textit{R. L. Tenney} (ed.) et al., Formal description techniques, VI. Proceedings of the IFIP TC6/WG6.1 sixth international conference, FORTE '93, Boston, MA (USA), 26-29 October 1993. Amsterdam: North-Holland (1994; Zbl 0828.68021)