Bibtex:

@inproceedings{04YKNP,
  AUTHOR    = { Younes, H{\aa}kan L. S. and Kwiatkowska, Marta and Norman, Gethin, and Parker, David },
  TITLE     = { Numerical vs.\ Statistical Probabilistic Model Checking: An Empirical Study },
  BOOKTITLE = { Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems },
  YEAR      = { 2004 },
  PUBLISHER = { Springer },
  PAGES     = { 46--60 },
  SERIES    = { LNCS },
  VOLUME    = { 2988 },
  EDITOR    = { Kurt Jensen and Andreas Podelski },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.