Kamal Lodaya. A Language-Theoretic View of Verification. In Modern Applications of Automata Theory. pages 149-170, 2012. [doi]
@incollection{Lodaya12, title = {A Language-Theoretic View of Verification}, author = {Kamal Lodaya}, year = {2012}, doi = {10.1142/9789814271059_0005}, url = {http://dx.doi.org/10.1142/9789814271059_0005}, researchr = {https://researchr.org/publication/Lodaya12}, cites = {0}, citedby = {0}, pages = {149-170}, booktitle = {Modern Applications of Automata Theory}, }