
Modern Applications of Automata Theory || A Language-Theoretic View of Verification
D'Souza, Deepak, Shankar, PritiVolume:
10.1142/72
Année:
2012
Langue:
english
DOI:
10.1142/9789814271059_0005
Fichier:
PDF, 287 KB
english, 2012