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]

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},
}