@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @string{jul="July"} @string{springer="© Springer-Verlag"} @InProceedings{AFFGPTV03, author = {R. Armoni and L. Fix and A. Flaisher and O. Grumberg and N. Piterman and A. Tiemeyer and M.Y. Vardi}, title = {Enhanced Vacuity Detection in Linear Temporal Logic}, booktitle = {15th International Conference on Computer Aided Verification}, pages = {368-380}, year = {2003}, volume = {2725}, series = lncs, address = {Boulder, CO, USA}, month = jul, publisher = springer, url = {2003/AFFGPTV03.html}, pdf = {2003/AFFGPTV03.pdf}, keywords = {Model Checking}, }