%0 Journal Article %1 journals/fmsd/BloemFGKPRR19 %A Bloem, Roderick %A Fey, Görschwin %A Greif, Fabian %A Könighofer, Robert %A Pill, Ingo %A Riener, Heinz %A Röck, Franz %D 2019 %J Formal Methods Syst. Des. %K dblp %N 2 %P 103-135 %T Synthesizing adaptive test strategies from temporal logic specifications. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd55.html#BloemFGKPRR19 %V 55

@article{journals/fmsd/BloemFGKPRR19, added-at = {2022-01-03T00:00:00.000+0100}, author = {Bloem, Roderick and Fey, Görschwin and Greif, Fabian and Könighofer, Robert and Pill, Ingo and Riener, Heinz and Röck, Franz}, biburl = {https://www.bibsonomy.org/bibtex/2f85a0bb76e0a6c43f94900aac28d3080/dblp}, ee = {https://www.wikidata.org/entity/Q92186791}, interhash = {7d1b4e61331d9f00e1fb3b3061d5a659}, intrahash = {f85a0bb76e0a6c43f94900aac28d3080}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {103-135}, timestamp = {2024-04-08T17:15:03.000+0200}, title = {Synthesizing adaptive test strategies from temporal logic specifications.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd55.html#BloemFGKPRR19}, volume = 55, year = 2019 }