Representation of Semiautomata by Canonical Words and Equivalences, Part II: Specification of Software Modules

Janusz A. Brzozowski, Helmut Jürgensen. Representation of Semiautomata by Canonical Words and Equivalences, Part II: Specification of Software Modules. Int. J. Found. Comput. Sci., 18(5):1065-1087, 2007. [doi]

Authors

Janusz A. Brzozowski

This author has not been identified. Look up 'Janusz A. Brzozowski' in Google

Helmut Jürgensen

This author has not been identified. Look up 'Helmut Jürgensen' in Google