Byron Cook, Eric Koskinen, Moshe Y. Vardi. Temporal property verification as a program analysis task - Extended Version. Formal Methods in System Design, 41(1):66-82, 2012. [doi]
@article{CookKV12, title = {Temporal property verification as a program analysis task - Extended Version}, author = {Byron Cook and Eric Koskinen and Moshe Y. Vardi}, year = {2012}, doi = {10.1007/s10703-012-0153-5}, url = {http://dx.doi.org/10.1007/s10703-012-0153-5}, researchr = {https://researchr.org/publication/CookKV12}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {41}, number = {1}, pages = {66-82}, }