Back to University of Twente portal
| author: | Bram Kamies |
| title: | A Generic Framework for State Space Exploration |
| keywords: | State Space Exploration, Graph Transformation, GROOVE |
| topics: | Graphs , Logics and semantics , Software Technology |
| committee: | Arend Rensink |
| started: | November 2018 |
| end: | March 2020 |
