research

Publications

Partial Derivative Automata Formalized in Coq

Implementation and Application of Automata | 2011 | inproceedings

Publication

Year of publication: 2011

Volume : 6482

Pages : 59-68

Month :

CMUP publication : Yes

Authors

D Pereira

JB Almeida

SM de Sousa