PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rensink, Arend"

Author of the publication

copydeleteadd this publication to your clipboard
Multi-paradigm modelling for cyber-physical systems : a descriptive framework

, , , , , and . Software and systems modeling, 20 (3): 611-639 (2021)
DOI: 10.1007/s10270-021-00876-z

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.

No persons found for author name Rensink, Arend
add a person with the name Rensink, Arend
 

Other publications of authors with the same name

Graph Abstraction for a Modal Logic., , , and . Bulletin of the EATCS, (2009)Order isomorphism odes not preserve global event independence.. Bulletin of the EATCS, (1993)Model Checking Birth and Death., , and . IFIP TCS, volume 223 of IFIP Conference Proceedings, page 435-447. Kluwer, (2002)Action Refinement., and . Handbook of Process Algebra, North-Holland / Elsevier, (2001)An Event-Based SOS for a Language with Refinement.. STRICT, page 294-309. Springer, (1995)Compositionality in Graph Transformation.. ICALP (2), volume 6199 of Lecture Notes in Computer Science, page 309-320. Springer, (2010)On Syntactic and Semantic Action Refinement., , and . TACS, volume 789 of Lecture Notes in Computer Science, page 385-404. Springer, (1994)Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE., and . Principled Software Development, page 305-323. Springer, (2018)Graph Attribution Through Sub-Graphs., and . Graph Transformation, Specifications, and Nets, volume 10800 of Lecture Notes in Computer Science, page 245-265. Springer, (2018)Action Contraction.. CONCUR, volume 1877 of Lecture Notes in Computer Science, page 290-304. Springer, (2000)