Items where Author is "Zolda, M."

Number of items: 3.
Conference or Workshop Item
  • Context-sensitive measurement-based worst-case execution time estimation. (2011) M. Zolda, S. Bünte and Raimund Kirner
  • Context-sensitivity in IPET for measurement-based timing analysis. (2010) M. Zolda, S. Bünte and Raimund Kirner
    • Other
  • Comparing Different Prenexing Strategies for Quantified Boolean Formulas. (2004) Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran and M. Zolda