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