Media type: E-Article; Text; E-Book; Report Title: Test Automation for Reactive Systems - Theorie and Practice (Dagstuhl Seminar 98361) Contributor: Brinksma, Ed [Author]; Peleska, Jan [Author]; Siegel, Michael [Author] imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1998 Language: English DOI: https://doi.org/10.4230/DagSemRep.223 Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access