2015
Formations of monoids, congruences, and formal languages
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Formal methods [FM] | |
Organisation | Computer Security |
Ballester-Bolinches, A., Cosme-Llopez, E., Esteban-Romero, R., & Rutten, J. (2015). Formations of monoids, congruences, and formal languages. Formal methods [FM]. CWI. |