%0 Conference Paper %1 conf/ictac/AartsFKV15 %A Aarts, Fides %A Fiterau-Brostean, Paul %A Kuppens, Harco %A Vaandrager, Frits W. %B ICTAC %D 2015 %E Leucker, Martin %E Rueda, Camilo %E Valencia, Frank D. %I Springer %K dblp %P 165-183 %T Learning Register Automata with Fresh Value Generation. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2015.html#AartsFKV15 %V 9399 %@ 978-3-319-25149-3

@inproceedings{conf/ictac/AartsFKV15, added-at = {2017-05-23T00:00:00.000+0200}, author = {Aarts, Fides and Fiterau-Brostean, Paul and Kuppens, Harco and Vaandrager, Frits W.}, biburl = {https://www.bibsonomy.org/bibtex/23722e0ccac9e1342171e5713a05b4fcf/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2015}, editor = {Leucker, Martin and Rueda, Camilo and Valencia, Frank D.}, ee = {https://doi.org/10.1007/978-3-319-25150-9_11}, interhash = {85d932eb64942ff9a99a62f2a4bdc048}, intrahash = {3722e0ccac9e1342171e5713a05b4fcf}, isbn = {978-3-319-25149-3}, keywords = {dblp}, pages = {165-183}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:22:32.000+0200}, title = {Learning Register Automata with Fresh Value Generation.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2015.html#AartsFKV15}, volume = 9399, year = 2015 }