City Research Online

Items where Author is "Nickovic, D."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Publication Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Jones, K., Konrad, V. and 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 Mar 21 05:03:13 2019 UTC.