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 2019 Rewriting Abstract Structures: Materialization Explained Categorically
Show activities from other conferences

ETAPS 2019-profile
View general profile