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

Autonome Systeme - Fähigkeiten und Anforderungen., and . Inform. Spektrum, 40 (5): 400-408 (2017)Modular Verification of Petri Nets: The Temporal Logic Approach., , , and . REX Workshop, volume 430 of Lecture Notes in Computer Science, page 180-207. Springer, (1989)Design and specification of microprogrammed computer architectures.. MICRO, page 3-10. ACM/IEEE, (1985)LSCs: Breathing Life into Message Sequence Charts., and . Formal Methods Syst. Des., 19 (1): 45-80 (2001)An axiomatization of low-level parallelism in microarchitectures.. MICRO, page 314-323. ACM/IEEE, (1984)Does It Pay to Extend the Perimeter of a World Model?, and . FM, volume 6664 of Lecture Notes in Computer Science, page 12-26. Springer, (2011)Top-Down Tree-Transducers for Infinite Trees I., and . CAAP, volume 112 of Lecture Notes in Computer Science, page 117-134. Springer, (1981)Introduction to Subject Area ^a€oeCharts"i¿½?, and . (2004)A Sound and Relatively* Compete Axiomatization of Clarke's Language L4., and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 161-175. Springer, (1983)Controlling Speculative Design Processes Using Rich Component Models.. ACSD, page 118-119. IEEE Computer Society, (2005)