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
Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise..

, , and . EDOC, page 58-69. IEEE Computer Society, (2005)

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

Model Checking Birth and Death., , and . IFIP TCS, volume 223 of IFIP Conference Proceedings, page 435-447. Kluwer, (2002)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)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)Graph Attribution Through Sub-Graphs., and . Graph Transformation, Specifications, and Nets, volume 10800 of Lecture Notes in Computer Science, page 245-265. Springer, (2018)Compositionality in Graph Transformation.. ICALP (2), volume 6199 of Lecture Notes in Computer Science, page 309-320. Springer, (2010)Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE., and . Principled Software Development, page 305-323. Springer, (2018)On Syntactic and Semantic Action Refinement., , and . TACS, volume 789 of Lecture Notes in Computer Science, page 385-404. Springer, (1994)Weak Sequential Composition in Process Algebras., and . CONCUR, volume 836 of Lecture Notes in Computer Science, page 226-241. Springer, (1994)