Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini. Equivalence and Membership Problems for Regular Trace Languages. In Mogens Nielsen, Erik Meineche Schmidt, editors, Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings. Volume 140 of Lecture Notes in Computer Science, pages 61-71, Springer, 1982.
@inproceedings{BertoniMS82,
title = {Equivalence and Membership Problems for Regular Trace Languages},
author = {Alberto Bertoni and Giancarlo Mauri and Nicoletta Sabadini},
year = {1982},
researchr = {https://researchr.org/publication/BertoniMS82},
cites = {0},
citedby = {0},
pages = {61-71},
booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings},
editor = {Mogens Nielsen and Erik Meineche Schmidt},
volume = {140},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11576-5},
}