"Testing of Communicating Systems: Method and Applications, IFIP TC6 ..."

Gyula Csopaki, Sarolta Dibuz, Katalin Tarnay (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics