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

Additional Resources

  1. Thesis