I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Timely Time Estimates


Andreas Holzer, Visar Januzaj, Stefan Kugele, and Michael Tautschnig. Timely time estimates. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation, volume 6415 of Lecture Notes in Computer Science, pages 33–46. Springer, October 2010.

Suggested BibTeX entry:

    author = {Andreas Holzer and Visar Januzaj and Stefan Kugele and Michael Tautschnig},
    booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation},
    editor = {Tiziana Margaria and Bernhard Steffen},
    month = {October},
    pages = {33--46},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Timely Time Estimates},
    volume = {6415},
    year = {2010}

This work is not available online here.