Publications

Details for GGL+06_ag

Title: Towards Verified Model Transformations
Booktitle: Proc. of the 3rd International Workshop on Model Development, Validation and Verification (MoDeV2a), Genova, Italy
Written by: H. Giese, S. Glesner, J. Leitner, W. Schäfer, R. Wagner:
in: October 2006
Volume: Number:
on pages: 78-93
Chapter:
Editor: David Hearnden and Jörn Guy Süß and Benoit Baudry and Nicolas Rapin
Publisher: Le Commissariat l'Energie Atomique - CEA
Series:
Address:
Edition:
ISBN:
how published:
Organization:
School:
Institution:
ISSN:
Doi:
File: GGL_06.pdf
URL:

Note:

Abstract:

Eintrag als Bibtex exportieren

Imprint | Webmaster | Recent changes: 10.12.2010