Baldan, Paolo; Corradini, Andrea; König, Barbara:
A Static Analysis Technique for Graph Transformation Systems
In: Concurrency Theory : 12th international conference - 12th International Conference on Concurrency Theory, August 20-25, 2001, Aalborg, Denmark - Berlin: Springer, 2001 - (Lecture notes in computer science ; 2154), S. 381 - 395
2001Buchaufsatz/Kapitel in Tagungsband
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft
Titel in Englisch:
A Static Analysis Technique for Graph Transformation Systems
Autor*in:
Baldan, Paolo;Corradini, Andrea;König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
Scopus ID
Sprache des Textes:
Englisch