Publications

CMRT-CIAA10

Summary

A. Cimatti, S. Mover, M. Roveri and S. Tonetta (2010) From Sequential Extended Regular Expressions to NFA with Symbolic Labels. In CIAA..

Bibtex entry

@INPROCEEDINGS { CMRT-CIAA10,
    AUTHOR = { A. Cimatti and S. Mover and M. Roveri and S. Tonetta },
    TITLE = { From Sequential Extended Regular Expressions to NFA with Symbolic Labels },
    BOOKTITLE = { CIAA },
    YEAR = { 2010 },
}