Publikationen 1994

Ulrich, A.; Koenig, H: Test Derivation from LOTOS Using Structure Information.
also published in O. Rafiq (ed.): Proc. IWPTS`93 (IFIP International Workshop on Protocol Test Systems) Pau (Frankreich), North Holland, 1994, 283 - 297.

Petrenko, A.; Dssouli, R.; Koenig, H.: On Evaluation of Testability of Protocol Structures.
also published in O. Rafiq (ed.): Proc. IWPTS93 (IFIP International Workshop on Protocol Test Systems) Pau (Frankreich), North Holland, 1994, 115 - 127.