January 12 – 15 , 2004, GI-Dagstuhl Seminar 04032

Model-based Testing of Reactive Systems


M. Broy (TU München, DE), B. Jonsson (Uppsala Univ., SE), J.-P. Katoen (University of Twente, NE), M. Leucker (Uppsala Univ., SE), A. Pretschner (TU München, DE)

For support, please contact

Heike Clemens


Dagstuhl's Impact: Documents available
External Homepage

Online Publications

We offer several possibilities to publish the results of your event. Please contact publishing(at) if you are interested.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.