%0 Conference Paper %1 conf/tacas/KrugerJR24 %A Kruger, Loes %A Junges, Sebastian %A Rot, Jurriaan %B TACAS (2) %D 2024 %E Finkbeiner, Bernd %E Kovács, Laura %I Springer %K dblp %P 109-129 %T Small Test Suites for Active Automata Learning. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2024-2.html#KrugerJR24 %V 14571 %@ 978-3-031-57249-4

@inproceedings{conf/tacas/KrugerJR24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Kruger, Loes and Junges, Sebastian and Rot, Jurriaan}, biburl = {https://www.bibsonomy.org/bibtex/2906eb5df99fac271782fc8c08c7b938e/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2024-2}, editor = {Finkbeiner, Bernd and Kovács, Laura}, ee = {https://doi.org/10.1007/978-3-031-57249-4_6}, interhash = {737217e5b3eb5ac1c589b1a6ba712ac9}, intrahash = {906eb5df99fac271782fc8c08c7b938e}, isbn = {978-3-031-57249-4}, keywords = {dblp}, pages = {109-129}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:39.000+0200}, title = {Small Test Suites for Active Automata Learning.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2024-2.html#KrugerJR24}, volume = 14571, year = 2024 }