ETAPS 2019 (series) / Dennis Nolte
![Dennis Nolte](https://conf.researchr.org/getProfileImage/dennisnolte/3cff7207-f8b0-4956-a384-6538cae4f69f/small.jpg?1711625304000)
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
ETAPS 2019-profile
View general profile
View general profile