( en | de | ru )

 

Disambiguierung von "Roggenbach, Markus"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CoCASL at work --- Modelling Process Algebra

, , und . Coalgebraic Methods in Computer Science, Volume 82 von Electronic Notes in Theoretical Computer Science, Elsevier Science; http://www.elsevier.nl/, (2003)

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.

Markus Roggenbach

Hans Roggenbach

Werner Roggenbach

Jens Roggenbach

Markus Markus

 

Weitere Publikationen von Autoren mit dem selben Namen

The Stable Revivals Model in CSP-Prover., , und . AVoCS, Volume 250 von Electronic Notes in Theoretical Computer Science, Seite 119-134. Elsevier, (2008)Proof Principles of CSP - CSP-Prover in Practice., und . LDIC, Seite 425-442. Springer, (2007)Specifying real numbers in CASL, , und . Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Volume 1827 von Lecture Notes in Computer Science, Seite 146--161. Springer; Berlin; http://www.springer.de, (2000)Methodological guidelines (for CASL), und . (2002)CoFI note M-6.Specifying with syntactic theory functors., und . J. Log. Algebraic Methods Program., (2020)Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS., , , und . WADT, Volume 12669 von Lecture Notes in Computer Science, Seite 120-141. Springer, (2020)Software Model Checking for Mobile Security - Collusion Detection in K K., , und . SPIN, Volume 10869 von Lecture Notes in Computer Science, Seite 3-25. Springer, (2018)Structured CSP -- A Process Algebra as an Institution, und . WADT 2006, Volume 4409 von Lecture Notes in Computer Science, Seite 92-110. Springer-Verlag Heidelberg, (2007)Compositional modelling and reasoning in an institution for processes and data, , und . WADT 2010, Volume 7137 von Lecture Notes in Computer Science, Seite 251-269. Springer, (2012)Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper., , , , , , , , , und 3 andere Autor(en). CoRR, (2020)