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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.