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