• 1345 Citations
1988 …2019
If you made any changes in Pure these will be visible here soon.

Activities 1991 2004

  • 16 Oral presentation

Graph Based State Spaces

Arend Rensink (Speaker)
1 May 2004

Activity: Talk or presentationOral presentation

Abstract Graph Transformations

Arend Rensink (Speaker)
1 Jul 2004

Activity: Talk or presentationOral presentation

Graph Based State Spaces

Arend Rensink (Speaker)
1 Jul 2004

Activity: Talk or presentationOral presentation

Towards Model Checking Graph Grammars

Arend Rensink (Speaker)
1 May 2004

Activity: Talk or presentationOral presentation

Canonical Graph Shapes

Arend Rensink (Speaker)
1 Mar 2004

Activity: Talk or presentationOral presentation

Verification Using Abstract Graph Transformations

Arend Rensink (Speaker)
1 Dec 2004

Activity: Talk or presentationOral presentation

Graph Based State Spaces

Arend Rensink (Speaker)
1 Jun 2004

Activity: Talk or presentationOral presentation

Graph Based State Spaces

Arend Rensink (Speaker)
1 Apr 2004

Activity: Talk or presentationOral presentation

Graph Based State Spaces

Arend Rensink (Speaker)
1 Dec 2004

Activity: Talk or presentationOral presentation

Representing First Order Logic Using Graphs

Arend Rensink (Speaker)
1 Apr 2004

Activity: Talk or presentationOral presentation

Graph Based State Spaces

Arend Rensink (Speaker)
1 Apr 2004

Activity: Talk or presentationOral presentation

Model Checking Graph Grammars

Arend Rensink (Speaker)
3 Apr 2003

Activity: Talk or presentationOral presentation

The GROOVE Simulator: A Tool for State Space Generation

Arend Rensink (Speaker)
1 Oct 2003

Activity: Talk or presentationOral presentation

AGTIVE 2003: From the Outside In

Arend Rensink (Speaker)
1 Oct 2003

Activity: Talk or presentationOral presentation

On Logics for Object-Based Systems

Arend Rensink (Speaker)
24 Apr 2001

Activity: Talk or presentationOral presentation

Families of posets and event domains

Arend Rensink (Speaker)
24 Oct 1991

Activity: Talk or presentationOral presentation