Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Source routing in computer networks. SIGCOMM Comput. Commun. Rev., (1977)Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models., , , , and . IEEE Trans. Software Eng., 8 (5): 460-489 (1982)correction: IEEE Trans. Software Eng. 9(1): 113 (1983).Alternatives for interconnection of public packet switching data networks., , , and . SIGCOMM, page 120-125. ACM, (1979)Formal Modeling of Communication Protocols - State of the Art.. Kommunikation in Verteilten Systemen, volume 40 of Informatik-Fachberichte, page 406-428. Springer, (1981)Alternatives for Computer Network Interconnection.. Berkeley Workshop, page 276-. Technical Information Department, Lawrence Berkeley Laboratory, University of California, Berkeley CA, (1976)Interconnection of broadband local area networks., , , and . SIGCOMM, page 25-32. ACM, (1983)Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models"., , , , and . IEEE Trans. Software Eng., 9 (1): 113 (1983)see: IEEE Trans. Software Eng. 8(5): 460-489(1982).Network Interconnection and Gateways.. IFIP Congress, page 651-658. North-Holland/IFIP, (1989)Decentralizing control and intelligence in network management., , , , , and . Integrated Network Management, volume 11 of IFIP Conference Proceedings, page 4-16. Chapman & Hall, (1995)An Architecture Driven Comparison of Network Management Systems., , , , , , and . Integrated Network Management, volume C-12 of IFIP Transactions, page 479-491. North-Holland, (1993)