1
TITLE: Learning nominal automata
AUTHORS: Joshua Moerman; Matteo Sammartino; Alexandra Silva ; Bartek Klin; Michal Szynwelski;
PUBLISHED: 2017, SOURCE: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017
INDEXED IN: DBLP
2
TITLE: Learning Nominal Automata PDF
AUTHORS: Joshua Moerman; Matteo Sammartino; Alexandra Silva ; Bartek Klin; Michal Szynwelski;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1607.06268
INDEXED IN: Scopus DBLP arXiv CrossRef: 13