[Back]


Talks and Poster Presentations (with Proceedings-Entry):

W. Kastner:
"Verifikation von Netzwerkprotokollen";
Talk: Echtzeit und iNet, Wiesbaden, Germany; 1997-09-09 - 1997-09-11; in: "Kongreßband Echtzeit'97 und industrielle Netzwerktechnik'97", (1997), 290 - 296.