Testing of Communicating Systems 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings Hogrefe Dieter Heftet / 2003 / Engelsk
Estelle, LOTOS und SDL Standard-Spezifikationssprachen für verteilte Systeme Hogrefe Dieter Heftet / 2011 / Tysk
