PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Rensink, Arend"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Contents for a Model-Based Software Engineering Body of Knowledge.

, , , , , , , , , , , , und . Software and Systems Modeling, 18 (6): 3193-3205 (2019)

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.

Keine Personen gefunden für den Autorennamen Rensink, Arend
Eine Person hinzufügen mit dem Namen Rensink, Arend
 

Weitere Publikationen von Autoren mit dem selben Namen

Order isomorphism odes not preserve global event independence.. Bulletin of the EATCS, (1993)Graph Abstraction for a Modal Logic., , , und . Bulletin of the EATCS, (2009)Model Checking Birth and Death., , und . IFIP TCS, Volume 223 von IFIP Conference Proceedings, Seite 435-447. Kluwer, (2002)An Event-Based SOS for a Language with Refinement.. STRICT, Seite 294-309. Springer, (1995)Action Refinement., und . Handbook of Process Algebra, North-Holland / Elsevier, (2001)Compositionality in Graph Transformation.. ICALP (2), Volume 6199 von Lecture Notes in Computer Science, Seite 309-320. Springer, (2010)Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE., und . Principled Software Development, Seite 305-323. Springer, (2018)Graph Attribution Through Sub-Graphs., und . Graph Transformation, Specifications, and Nets, Volume 10800 von Lecture Notes in Computer Science, Seite 245-265. Springer, (2018)Graph-Based Tools: The Contest., und . ICGT, Volume 5214 von Lecture Notes in Computer Science, Seite 463-466. Springer, (2008)Towards Compliance Verification Between Global and Local Process Models., , , und . ICGT, Volume 9151 von Lecture Notes in Computer Science, Seite 221-236. Springer, (2015)