BibTeX record conf/cpe/KwiatkowskaNP02

• > Home > conf/cpe/KwiatkowskaNP02

@inproceedings{DBLP:conf/cpe/KwiatkowskaNP02,
  author       = {Marta Z. Kwiatkowska and
                  Gethin Norman and
                  David Parker},
  editor       = {Tony Field and
                  Peter G. Harrison and
                  Jeremy T. Bradley and
                  Uli Harder},
  title        = {{PRISM:} Probabilistic Symbolic Model Checker},
  booktitle    = {Computer Performance Evaluation, Modelling Techniques and Tools 12th
                  International Conference, {TOOLS} 2002, London, UK, April 14-17, 2002,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2324},
  pages        = {200--204},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46029-2\_13},
  doi          = {10.1007/3-540-46029-2\_13},
  timestamp    = {Sat, 09 Apr 2022 12:47:36 +0200},
  biburl       = {https://dblp.org/rec/conf/cpe/KwiatkowskaNP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}