Heuristische Suchtechniken zur Validation von Kommunikationsprotokollen

In: KI'94 Workshops, 18. Deutsche Jahrestagung für Künstliche Intelligenz / Kunze, J.; Stoyan, H. (Hrsg.)
Saarbrücken: Gesellschaft für Informatik (1994)
Buchaufsatz / Kapitel / Fach: Wirtschaftswissenschaften