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
%0 Conference Proceedings
%1 DBLP:conf/dagstuhl/2004test
%B Model-Based Testing of Reactive Systems
%D 2005
%E Broy, Manfred
%E Jonsson, Bengt
%E Katoen, Joost-Pieter
%E Leucker, Martin
%E Pretschner, Alexander
%I Springer
%K imported
%T 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
%V 3472
%@ 3-540-26278-4
@proceedings{DBLP:conf/dagstuhl/2004test,
added-at = {2010-04-14T20:48:10.000+0200},
bibsource = {DBLP, http://dblp.uni-trier.de},
biburl = {https://www.bibsonomy.org/bibtex/233eb9fe2f6bbeee29b5e09dcfaded444/davef},
booktitle = {Model-Based Testing of Reactive Systems},
editor = {Broy, Manfred and Jonsson, Bengt and Katoen, Joost-Pieter and Leucker, Martin and Pretschner, Alexander},
interhash = {f95f4474be49c948771b514a9783e789},
intrahash = {33eb9fe2f6bbeee29b5e09dcfaded444},
isbn = {3-540-26278-4},
keywords = {imported},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2010-04-14T20:48:10.000+0200},
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]},
volume = 3472,
year = 2005
}