Publications
Filters: Author is Kim G. Larsen [Clear All Filters]
, “Abstract Probabilistic Automata”, Information and Computation, vol. 232, p. 66 - 116, 2013.
, “State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems”, in 2012 Design, Automation {&} Test in Europe Conference {&} Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012, 2012.
