Verena Wolf. Testing Theory for Probabilistic Systems. In Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner, editors, Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]. Volume 3472 of Lecture Notes in Computer Science, pages 233-275, Springer, 2004. [doi]
@inproceedings{Wolf04:0,
title = {Testing Theory for Probabilistic Systems},
author = {Verena Wolf},
year = {2004},
doi = {10.1007/11498490_11},
url = {http://dx.doi.org/10.1007/11498490_11},
tags = {testing},
researchr = {https://researchr.org/publication/Wolf04%3A0},
cites = {0},
citedby = {0},
pages = {233-275},
booktitle = {Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]},
editor = {Manfred Broy and Bengt Jonsson and Joost-Pieter Katoen and Martin Leucker and Alexander Pretschner},
volume = {3472},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-26278-4},
}