Bertoni, A., Mauri, G., Sabadini, N. (1982). Equivalence and membership problems for regular trace languages. In Proceedings of 9th International Conference on Automata, Languages and Programming (ICALP) (pp.61-71). Berlin : Springer [10.1007/BFb0012757].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.