AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Arend Rensink

Arend Rensink

University of Twente - Enschede / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 1752774
Universiteit Twente
person_outline Arend Rensink's MOST POPULAR ARTICLES
1-) The GROOVE simulator: A tool for state space generation International Workshop on Applications of Graph Transformations with …, 2003
2-) Modelling and analysis using GROOVE International journal on software tools for technology transfer 14 (1), 15-40, 2012
3-) Representing first-order logic using graphs International Conference on Graph Transformation, 319-335, 2004
4-) Model checking graph transformations: A comparison of two approaches International Conference on Graph Transformation, 226-241, 2004
5-) Compositional Testing with ioco International Workshop on Formal Approaches to Software Testing, 86-100, 2003