Moshe Y. Vardi. Alternating Automata and Program Verification. In Jan van Leeuwen, editor, Computer Science Today: Recent Trends and Developments. Volume 1000 of Lecture Notes in Computer Science, pages 471-485, Springer, 1995.
@incollection{Vardi95:2, title = {Alternating Automata and Program Verification}, author = {Moshe Y. Vardi}, year = {1995}, tags = {program verification}, researchr = {https://researchr.org/publication/Vardi95%3A2}, cites = {0}, citedby = {0}, pages = {471-485}, booktitle = {Computer Science Today: Recent Trends and Developments}, editor = {Jan van Leeuwen}, volume = {1000}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60105-8}, }