External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Timely Time Estimates

Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig. Timely Time Estimates. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I. Volume 6415 of Lecture Notes in Computer Science, pages 33-46, Springer, 2010. [doi]

Authors

Andreas Holzer

This author has not been identified. Look up 'Andreas Holzer' in Google

Visar Januzaj

This author has not been identified. Look up 'Visar Januzaj' in Google

Stefan Kugele

This author has not been identified. Look up 'Stefan Kugele' in Google

Michael Tautschnig

Identified as Michael Tautschnig
runs on