@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{KPV02, author = {O. Kupferman and N. Piterman and M.Y. Vardi}, title = {Model Checking Linear Properties of Prefix-Recognizable Systems}, booktitle = {14th International Conference on Computer Aided Verification}, pages = {371-385}, year = {2002}, volume = {2404}, series = lncs, address = {Copenhagen, Denmark}, month = jul, publisher = springer, url = {2002/kpv02.html}, pdf = {2002/kpv02.pdf}, keywords = {Model Checking,Automata}, }