%0 Conference Paper %1 conf/isola/HartmannsK22 %A Hartmanns, Arnd %A Klauck, Michaela %B ISoLA (3) %D 2022 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 406-432 %T The Modest State of Learning, Sampling, and Verifying Strategies. %U http://dblp.uni-trier.de/db/conf/isola/isola2022-3.html#HartmannsK22 %V 13703 %@ 978-3-031-19759-8

@inproceedings{conf/isola/HartmannsK22, added-at = {2022-11-13T00:00:00.000+0100}, author = {Hartmanns, Arnd and Klauck, Michaela}, biburl = {https://www.bibsonomy.org/bibtex/2382b71491f84662555d25cb4b176bc5f/dblp}, booktitle = {ISoLA (3)}, crossref = {conf/isola/2022-3}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-031-19759-8_25}, interhash = {a63f3d7091fd67bf24a5d3145d5cecd9}, intrahash = {382b71491f84662555d25cb4b176bc5f}, isbn = {978-3-031-19759-8}, keywords = {dblp}, pages = {406-432}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:11:47.000+0200}, title = {The Modest State of Learning, Sampling, and Verifying Strategies.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2022-3.html#HartmannsK22}, volume = 13703, year = 2022 }