Learning nominal automata

Joshua Moerman, Matteo Sammartino, Alexandra Silva 0001, Bartek Klin, Michal Szynwelski. Learning nominal automata. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 613-625, ACM, 2017. [doi]

@inproceedings{MoermanS0KS17,
  title = {Learning nominal automata},
  author = {Joshua Moerman and Matteo Sammartino and Alexandra Silva 0001 and Bartek Klin and Michal Szynwelski},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3009879},
  researchr = {https://researchr.org/publication/MoermanS0KS17},
  cites = {0},
  citedby = {0},
  pages = {613-625},
  booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017},
  editor = {Giuseppe Castagna and Andrew D. Gordon},
  publisher = {ACM},
  isbn = {978-1-4503-4660-3},
}