Department of Informatics

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

TUM

  Home  |  Research/Competence  |  Teaching  |  Staff  |  Publications  |  Misc  |  Contact  |  Intranet  |

  Find  

 
PDF-Datei BibTeX

@inproceedings {leucker-icfem06,
    author = {Andreas Bauer and Martin Leucker and Jonathan Streit},
    title = {{}},
    booktitle = {Proceedings of the Eighth International Conference on Formal Engineering Methods},
    year = {2006},
    volume = {4260},
    series = {Lecture Notes in Computer Science},
    month = {September}
}
  
HTML Version

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