Tinus Strauss, Derrick G. Kourie, Bruce W. Watson. A concurrent specification of Brzozowski s DFA construction algorithm. In Jan Holub, Jan Zdárek, editors, Proceedings of the Prague Stringology Conference, Prague, Czech Republic, August 28-30, 2006. pages 90-99, Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University, 2006. [doi]
@inproceedings{StraussKW06,
title = {A concurrent specification of Brzozowski s DFA construction algorithm},
author = {Tinus Strauss and Derrick G. Kourie and Bruce W. Watson},
year = {2006},
url = {http://www.stringology.org/event/2006/p10.html},
researchr = {https://researchr.org/publication/StraussKW06},
cites = {0},
citedby = {0},
pages = {90-99},
booktitle = {Proceedings of the Prague Stringology Conference, Prague, Czech Republic, August 28-30, 2006},
editor = {Jan Holub and Jan Zdárek},
publisher = {Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University},
isbn = {80-01-03533-6},
}