@article{BFG+:2019,
Author = {Roderick Bloem and Goerschwin Fey and Fabian Greif and Robert Könighofer and Ingo Pill and Heinz Riener and Franz Röck},
Title = {Synthesizing Adaptive Test Strategies from Temporal Logic Specifications.},
Journal = {<em>Formal Methods in System Design (FMSD)</em>.},
Year = {(2019).},
Note = {gfey, CE},
Isbn = {10.1007/s10703-019-00338-9},
Howpublished = {19-999 BFG+:2019 FMSD}
}

@COMMENT{Bibtex file generated on 2026-5-13 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/home/publications }