Department of Informatics

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

PDF-Datei BibTeX

@inproceedings {leucker_BKKL-tacas07,
    author = {Benedikt Bollig and Joost-Pieter Katoen and Carsten Kern and Martin Leucker},
    title = {{Replaying play in and play out: Synthesis of design models from scenarios by learning}},
    booktitle = {Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'07)},
    year = {2007},
    editor = {Orna Grumberg and Michael Huth},
    volume = {4424},
    series = {Lecture Notes in Computer Science},
    month = {March},
    publisher = {Springer Verlag}
HTML Version

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