BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-137496, author = {Kastner, Wolfgang}, title = {Verifikation von Netzwerkprotokollen}, booktitle = {Kongre{\ss}band Echtzeit'97 und industrielle Netzwerktechnik'97}, year = {1997}, pages = {290--296}, note = {talk: Echtzeit und iNet, Wiesbaden, Germany; 1997-09-09 -- 1997-09-11} } 1 Datensatz ausgegeben