CITATION STYLE
Chechik, M., & Gurfinkel, A. (2003). TLQSolver: A temporal logic query checker. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2725, 210–214. https://doi.org/10.1007/978-3-540-45069-6_21
Mendeley helps you to discover research relevant for your work.