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. (Eds.). - 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
2002book article/chapter in Proceedings
Computer ScienceFaculty of Engineering » Computer Science and Applied Cognitive Science
Title in English:
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars-A Case Study
Author:
Baldan, Paolo;Corradini, Andrea;König, BarbaraUDE
- GND
- 1050396502
- LSF ID
- 15982
- ORCID
- 0000-0002-4193-2889
- Other
- connected with university
Language of text:
English