Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin J. Norman, David Parker. Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. In Kurt Jensen, Andreas Podelski, editors, Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee. Volume 2988 of Lecture Notes in Computer Science, pages 46-60, Springer, 2004. [doi]

This author has not been identified. Look up 'Håkan L. S. Younes' in GoogleThis author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleIdentified as Gethin J. Norman This author has not been identified. Look up 'David Parker' in Google

runs on WebDSL