Publications

Export 2 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is Nils Jansen  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
J
N. Jansen, et al., “Accelerating Parametric Probabilistic Verification”, in Quantitative Evaluation of Systems (QEST'14), 2014.
N. Jansen, et al., “Symbolic counterexample generation for large discrete-time Markov chains”, Sci. Comput. Program., vol. 91, p. 90-114, 2014.