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
    • This list was generated on Wed Apr 15 01:50:53 2026 BST.