Author of the publication

Ableitung parallel ausführbarer Protokollimplementierungen.

, , and . Praxis der Informationsverarbeitung und Kommunikation, 16 (4): 193-202 (1993)

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

Increasing the Concurrency in Estelle., and . FORTE, volume C-22 of IFIP Transactions, page 125-139. North-Holland, (1993)Specification, detection and resolution of IN feature interactions with Estelle., and . FORTE, volume 6 of IFIP Conference Proceedings, page 376-378. Chapman & Hall, (1994)Requirements Engineering - The Light Control Case Study., and . J. UCS, 6 (7): 580-581 (2000)MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks., , and . HIS, page 277-282. IEEE Computer Society, (2007)An Evolutionary Approach to the Development of Complex Protocol Standards., , and . PSTV, volume C-16 of IFIP Transactions, page 207-222. North-Holland, (1993)Specifying communication services with temporal logic.. PSTV, page 295-309. North-Holland, (1990)Ableitung parallel ausführbarer Protokollimplementierungen., , and . Praxis der Informationsverarbeitung und Kommunikation, 16 (4): 193-202 (1993)Leistungsbewertung automatisch generierter Protokollimplementierungen., and . MMB (Kurzbeiträge), page 26-33. TU Bergakademie Freiberg, (1997)Open distributed systems - on concepts, methods, and design from a logical point of view.. Vieweg advanced studies in computer science Vieweg, (1993)On Conformance in the Context of Open Systems.. ICDCS, page 236-243. IEEE Computer Society, (1992)