Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Ed Brinksma, Jan Peleska, and Michael Siegel. Test Automation for Reactive Systems - Theorie and Practice (Dagstuhl Seminar 98361). Dagstuhl Seminar Report 223, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1998)
@TechReport{brinksma_et_al:DagSemRep.223, author = {Brinksma, Ed and Peleska, Jan and Siegel, Michael}, title = {{Test Automation for Reactive Systems - Theorie and Practice (Dagstuhl Seminar 98361)}}, pages = {1--23}, ISSN = {1619-0203}, year = {1998}, type = {Dagstuhl Seminar Report}, number = {223}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.223}, URN = {urn:nbn:de:0030-drops-151097}, doi = {10.4230/DagSemRep.223}, }
Feedback for Dagstuhl Publishing