ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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


FOSSACS 2019Author of Rewriting Abstract Structures: Materialization Explained Categorically within the FOSSACS 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile