Characteristic formulae

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0035794 ◽

1989 ◽

pp. 723-732 ◽

Cited By ~ 32

Author(s):

Bernhard Steffen

Download Full-text