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
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Proceedings
%1 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 dblp
%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
%U http://dblp.uni-trier.de/db/conf/dagstuhl/test2004.html
%V 3472
%@ 3-540-26278-4
@proceedings{conf/dagstuhl/2004test,
added-at = {2021-08-31T00:00:00.000+0200},
biburl = {https://www.bibsonomy.org/bibtex/233eb9fe2f6bbeee29b5e09dcfaded444/dblp},
booktitle = {Model-Based Testing of Reactive Systems},
editor = {Broy, Manfred and Jonsson, Bengt and Katoen, Joost-Pieter and Leucker, Martin and Pretschner, Alexander},
ee = {https://doi.org/10.1007/b137241},
interhash = {f95f4474be49c948771b514a9783e789},
intrahash = {33eb9fe2f6bbeee29b5e09dcfaded444},
isbn = {3-540-26278-4},
keywords = {dblp},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T10:25:39.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]},
url = {http://dblp.uni-trier.de/db/conf/dagstuhl/test2004.html},
volume = 3472,
year = 2005
}