@string{springer="© Springer-Verlag"} @string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @InProceedings{BCIKP16, author = {M. Brockschmidt and B. Cook and S. Ishtiaq and H. Khlaaf and N. Piterman}, title = {T2: Temporal Property Verification}, booktitle = {22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems}, pages = {387--393}, volume = {9636}, year = {2016}, publisher = springer, series = lncs, OPTpdf = {}, OPTurl = {}, keywords = {Model Checking,Temporal Logic}, }