@misc{Lü1998,
Author = {Lüth, Karsten and Metzner, Alexander and Niehaus, Jürgen},
Title = {A STATEMATE-based Rapid Prototyping Environment},

Year = {1998},
Month = {01},
type = {misc}
}
@COMMENT{Bibtex file generated on }