conf.researchr.org / Dennis Nolte
Registered user since Tue 29 Jan 2019
Name:Dennis Nolte
Affiliation:University of Duisburg-Essen
Research interests:Abstraction of Graph Transformation Systems, Termination Analysis, Recognizable Graph Languages, Verification of Graph Transformation Systems
Contributions