Joshua Moerman, Matteo Sammartino, Alexandra Silva 0001, Bartek Klin, Michal Szynwelski
Learning nominal automata
POPL, 2017.
@inproceedings{POPL-2017-MoermanS0KS,
author = "Joshua Moerman and Matteo Sammartino and Alexandra Silva 0001 and Bartek Klin and Michal Szynwelski",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "613--625",
publisher = "{ACM}",
title = "{Learning nominal automata}",
year = 2017,
}