Fingerprint
Dive into the research topics of 'A Logical Treatment of Finite Automata'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Logical Treatment of Finite Automata
Nishant Rodrigues, Mircea Octavian Sebe, Xiaohong Chen, Grigore Roşu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution