Repository Menu

University of Hertfordshire Research Archive

Home home About fingerprint Policies policy
  • Year calendar_month Author person Funder currency_pound Publication library_books Type interests Theses Archive menu_book Datasets biotech
  • Login login

    Items where Author is "Zolda, M."

    Number of items: 3.
  • 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
  • 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.
    arrow_upwardUp a level
    EndNote BibTeX Reference Manager Refer Dublin Core ASCII Citation HTML Citation METS Object IDs OpenURL ContextObject
    rss_feedAtom rss_feedRSS