%0 Conference Paper %1 conf/birthday/NeiderSVK97 %A Neider, Daniel %A Smetsers, Rick %A Vaandrager, Frits W. %A Kuppens, Harco %B Models, Mindsets, Meta %D 2018 %E Margaria, Tiziana %E Graf, Susanne %E Larsen, Kim G. %I Springer %K dblp %P 390-416 %T Benchmarks for Automata Learning and Conformance Testing. %U http://dblp.uni-trier.de/db/conf/birthday/steffen2018.html#NeiderSVK97 %V 11200 %@ 978-3-030-22348-9

@inproceedings{conf/birthday/NeiderSVK97, added-at = {2023-03-21T00:00:00.000+0100}, author = {Neider, Daniel and Smetsers, Rick and Vaandrager, Frits W. and Kuppens, Harco}, biburl = {https://www.bibsonomy.org/bibtex/22babc89e0a0c1f9cae6233517938c1d3/dblp}, booktitle = {Models, Mindsets, Meta}, crossref = {conf/birthday/2018steffen}, editor = {Margaria, Tiziana and Graf, Susanne and Larsen, Kim G.}, ee = {https://doi.org/10.1007/978-3-030-22348-9_23}, interhash = {6fd8d5def259a1a631b8fe91514990e4}, intrahash = {2babc89e0a0c1f9cae6233517938c1d3}, isbn = {978-3-030-22348-9}, keywords = {dblp}, pages = {390-416}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:39:57.000+0200}, title = {Benchmarks for Automata Learning and Conformance Testing.}, url = {http://dblp.uni-trier.de/db/conf/birthday/steffen2018.html#NeiderSVK97}, volume = 11200, year = 2018 }