@phdthesis{Wit2005,
Author = {Wittke, Hartmut},
Title = {An Environment for Compositional Specification and Verification of Complex Embedded Systems},

Year = {2005},
Month = {01},
type = {phdthesis}
}
@COMMENT{Bibtex file generated on }