Reference Type: Book Chapter
Author: Baudry, Benoit
Author: Faivre, Alain
Author: Ghosh, Sudipto
Author: Pretschner, Alexander
Editor: Giese, Holger
Primary Title: 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE
Book Title: Models in Software Engineering
Book Series Title: Lecture Notes in Computer Science
Copyright: 2008
Publisher: Springer Berlin / Heidelberg
Isbn: 978-3-540-69069-6
Start Page: 145
End Page: 150
Volume: 5002
Url: http://dx.doi.org/10.1007/978-3-540-69073-3_16
Doi: 10.1007/978-3-540-69073-3_16