%0 Conference Paper %1 spinautomata %A Vardi, M.Y. %A Wolper, P. %B In Proceedings of the 1st Symposium on Logic in Computer Science %C Cambridge, Massachusetts, USA %D 1986 %K BPM collection imported %P 322--331 %T An automata-theoretic approach to automatic program verification

@inproceedings{spinautomata, added-at = {2012-11-22T19:17:38.000+0100}, address = {Cambridge, Massachusetts, USA}, author = {Vardi, {M.Y.} and Wolper, {P.}}, biburl = {https://www.bibsonomy.org/bibtex/294339faea9e56a71a918ae2149b2a9c5/wvdaalst}, booktitle = {In Proceedings of the 1st Symposium on Logic in Computer Science}, interhash = {683fa1ba43547780d2b59703f3bd16ad}, intrahash = {94339faea9e56a71a918ae2149b2a9c5}, keywords = {BPM collection imported}, pages = {322--331}, timestamp = {2012-11-22T19:21:30.000+0100}, title = {An automata-theoretic approach to automatic program verification}, year = 1986 }