Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG
Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe  Suche: Personen Einrichtungen sonstige Einträge Lehrveranstaltungen Räume
Darstellung   Druckansicht      Außerdem im UnivIS   Vorlesungsverzeichnis     Veranstaltungskalender	Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Informatik >> Professur für Grundlagen der Informatik >> Stroup, T. ; Götz, N. ; Mendler, Michael: Stepwise refinement of layered protocols by formal program development . In: Brinksma, E. ; Scollo, G. ; Visser, Ch., A. (Hrsg.) : 9th IFIP WG 6.1 Int'l Symposium on Protocol Specification, Testing, and Verification. Enschede : University of Twente, 1989, S. 14 Seiten. UnivIS ist ein Produkt der Config eG, Buckenhof