City, University of London Library

    City Research Online ***TEST***

    Items where Author is "Konrad, V."

    [up] Up a level
    Group by: Type | No Grouping
    Number of items: 1.

    Jones, K., Konrad, V. & Nickovic, D. (2010). Analog Property Checkers: A Ddr2 Case Study. Formal Methods in System Design, 36(2), pp. 114-130. doi: 10.1007/s10703-009-0085-x

    This list was generated on Thu Jan 22 03:16:15 2026 UTC.