Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

CASL Logic, , , und . CASL Reference Manual, Volume 2960 von Lecture Notes in Computer Science, Kapitel ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)Union of Equational Theories: An Algebraic Approach.. RTA, Volume 3467 von Lecture Notes in Computer Science, Seite 61-73. Springer, (2005)Semantics of Architectural Specifications in CASL., , , , und . FASE, Volume 2029 von Lecture Notes in Computer Science, Seite 253-268. Springer, (2001)Checking Amalgamability Conditions for C ASL Architectural Specifications., , , , und . MFCS, Volume 2136 von Lecture Notes in Computer Science, Seite 451-463. Springer, (2001)Amalgamation in the semantics of CASL, , , , und . Theoretical Computer Science, 331 (1): 215-247 (2005)Reachability in Unions of Commutative Rewriting Systems Is Decidable., und . STACS, Volume 4393 von Lecture Notes in Computer Science, Seite 622-633. Springer, (2007)Verifying Architectural Specifications.. WADT, Volume 2267 von Lecture Notes in Computer Science, Seite 152-175. Springer, (2001)Semantics of Architectural Specifications in CASL, , , , und . Fundamental Approaches to Software Engineering, Volume 2029 von Lecture Notes in Computer Science, Seite 253--268. Springer; Berlin; http://www.springer.de, (2001)Amalgamation in the semantics of CASL., , , , und . Theor. Comput. Sci., 331 (1): 215-247 (2005)Verifying Generative Casl Architectural Specifications.. WADT, Volume 2755 von Lecture Notes in Computer Science, Seite 233-252. Springer, (2002)