TY  - GEN
AU  - Bloem,Roderick
AU  - Fey,Goerschwin
AU  - Greif,Fabian
AU  - Könighofer,Robert
AU  - Pill,Ingo
AU  - Riener,Heinz
AU  - Röck,Franz
TI  - Synthesizing adaptive test strategies from temporal logic specifications
SN  - 0925-9856
PY  - 2019///
PB  - Formal methods in system design
N1  - Publication Type: Journal Article
UR  - https://doi.org/10.1007/s10703-019-00338-9
ER  -