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
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

, , , , , , , and . SETTA, volume 10606 of Lecture Notes in Computer Science, page 319-336. Springer, (2017)

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)On Syntactic and Semantic Action Refinement., , and . TACS, volume 789 of Lecture Notes in Computer Science, page 385-404. Springer, (1994)Action Contraction.. CONCUR, volume 1877 of Lecture Notes in Computer Science, page 290-304. Springer, (2000)Weak Sequential Composition in Process Algebras., and . CONCUR, volume 836 of Lecture Notes in Computer Science, page 226-241. Springer, (1994)Who is Pointing When to Whom?, , and . FSTTCS, volume 3328 of Lecture Notes in Computer Science, page 250-262. Springer, (2004)Graph-Based Tools: The Contest., and . ICGT, volume 5214 of Lecture Notes in Computer Science, page 463-466. Springer, (2008)Towards Compliance Verification Between Global and Local Process Models., , , and . ICGT, volume 9151 of Lecture Notes in Computer Science, page 221-236. Springer, (2015)Action Refinement., and . Handbook of Process Algebra, North-Holland / Elsevier, (2001)Graph Attribution Through Sub-Graphs., and . Graph Transformation, Specifications, and Nets, volume 10800 of Lecture Notes in Computer Science, page 245-265. Springer, (2018)Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE., and . Principled Software Development, page 305-323. Springer, (2018)