@inproceedings{MoermanSammartinoSilvaKlinSzynwelski:POPL2017,
    Address = {New York, NY, USA},
    Author = {Moerman, Joshua and Sammartino, Matteo and Silva, Alexandra and Klin, Bartek and Szynwelski, Micha\l},
    BookTitle = {Proc. of POPL'17},
    File = {learning-nominal-automata (0) - a - a - m.pdf},
    ISBN = {978-1-4503-4660-3},
    Keywords = {(Non)Deterministic Finite Automata, Active Learning, Functional Programming, Nominal Automata},
    Location = {Paris, France},
    Pages = {613--625},
    Publisher = {ACM},
    Series = {POPL 2017},
    Title = {Learning Nominal Automata},
    URL = {http://doi.acm.org/10.1145/3009837.3009879},
    Year = {2017},
    acmid = {3009879},
    bdsk-url-1 = {http://doi.acm.org/10.1145/3009837.3009879},
    bdsk-url-2 = {http://dx.doi.org/10.1145/3009837.3009879},
    date-added = {2017-03-31 11:42:53 +0000},
    date-modified = {2021-04-06 14:49:59 +0200},
    numpages = {13},
    doi = {10.1145/3009837.3009879}
}

@inproceedings{MoermanSammartinoSilvaKlinSzynwelski:POPL2017, Address = {New York, NY, USA}, Author = {Moerman, Joshua and Sammartino, Matteo and Silva, Alexandra and Klin, Bartek and Szynwelski, Micha\l}, BookTitle = {Proc. of POPL'17}, File = {learning-nominal-automata (0) - a - a - m.pdf}, ISBN = {978-1-4503-4660-3}, Keywords = {(Non)Deterministic Finite Automata, Active Learning, Functional Programming, Nominal Automata}, Location = {Paris, France}, Pages = {613--625}, Publisher = {ACM}, Series = {POPL 2017}, Title = {Learning Nominal Automata}, URL = {http://doi.acm.org/10.1145/3009837.3009879}, Year = {2017}, acmid = {3009879}, bdsk-url-1 = {http://doi.acm.org/10.1145/3009837.3009879}, bdsk-url-2 = {http://dx.doi.org/10.1145/3009837.3009879}, date-added = {2017-03-31 11:42:53 +0000}, date-modified = {2021-04-06 14:49:59 +0200}, numpages = {13}, doi = {10.1145/3009837.3009879} }