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.
Institution: Professur für Grundlagen der Informatik
|