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, Springer, 2005.
Conference: Dagstuhl2005
@proceedings{dagstuhl:2004test, title = {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]}, year = {2005}, tags = {rule-based, testing}, researchr = {https://researchr.org/publication/dagstuhl%3A2004test}, cites = {0}, citedby = {0}, 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]}, conference = {Dagstuhl}, 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}, }