DBLP BibTeX Record 'conf/arts/Nunez99'

@inproceedings{DBLP:conf/arts/Nunez99,
  author    = {Manuel N{\'u}{\~n}ez},
  title     = {An Axiomatization of Probabilistic Testing},
  booktitle = {ARTS},
  year      = {1999},
  pages     = {130-150},
  ee        = {http://dx.doi.org/10.1007/3-540-48778-6_8},
  crossref  = {DBLP:conf/arts/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/arts/1999,
  editor    = {Joost-Pieter Katoen},
  title     = {Formal Methods for Real-Time and Probabilistic Systems,
               5th International AMAST Workshop, ARTS'99, Bamberg, Germany,
               May 26-28, 1999. Proceedings},
  booktitle = {ARTS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1601},
  year      = {1999},
  isbn      = {3-540-66010-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}