Login / Signup

A Concurrent Specification of Brzozowski's DFA Construction Algorithm.

Tinus StraussDerrick G. KourieBruce W. Watson
Published in: Int. J. Found. Comput. Sci. (2008)
Keyphrases