Baldan, Paolo; Corradini, Andrea; König, Barbara:
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars-A Case Study
In: Integrated design process technology : proceedings of the sixth Biennial World Conference on Integrated Design and Process Technology / Ehrig, Hartmut; Krämer, B.; Ertas, A. (Hrsg.). - 6. Biennial World Conference on Integrated Design and Process Technology (IDPT), 2002.06.23-28, Pasadena, USA - Pasadena: Society for Design and Process Science, 2002
2002Buchaufsatz/Kapitel in Tagungsband
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft
Titel in Englisch:
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars-A Case Study
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
Sprache des Textes:
Englisch
Erschienen in
Integrated design process technology : proceedings of the sixth Biennial World Conference on Integrated Design and Process Technology
Konferenz
6. Biennial World Conference on Integrated Design and Process Technology (IDPT), 2002.06.23-28, Pasadena, USA
Herausgeber*in:
Ehrig, Hartmut;Krämer, B.;Ertas, A.
Erscheinungsort:
Pasadena
Verlag:
Society for Design and Process Science
Erscheinungsjahr:
2002