Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
PDF-Datei BibTeX

@inproceedings {hh08a,
    author = {Alexander Harhurin and Judith Hartmann},
    title = {{Towards Consistent Specifications of Product Families}},
    booktitle = {FM'08: 15th International Symposium on Formal Methods},
    year = {2008},
    volume = {5014},
    series = {LNCS},
    month = {May},
    publisher = {Springer Verlag}
}
  
HTML Version

(c) 1999-2004 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact