%0 Conference Paper %1 VardiW86 %A Vardi, Moshe Y. %A Wolper, Pierre %B LICS %D 1986 %K coverability orders safety verification %P 332-344 %T An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)

@inproceedings{VardiW86, added-at = {2010-04-21T11:10:11.000+0200}, author = {Vardi, Moshe Y. and Wolper, Pierre}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/28d232212a1aa6c456637d00dac2a4b99/giuliano.losa}, booktitle = {LICS}, crossref = {DBLP:conf/lics/LICS1}, interhash = {7cb6157371d56429f7181decd557d1b9}, intrahash = {8d232212a1aa6c456637d00dac2a4b99}, keywords = {coverability orders safety verification}, pages = {332-344}, timestamp = {2010-04-21T11:10:11.000+0200}, title = {An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)}, year = 1986 }