@inproceedings{bfb0e0a842c84de79c41febf5d1a168f,
title = "Verifying temporal properties in real models",
author = "Tim French and John Mccabe-Dansted and Mark Reynolds",
year = "2013",
doi = "10.1007/978-3-642-45221-5_22",
language = "English",
isbn = "9783642452208",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "8312",
pages = "309--232",
editor = "Ken McMillan and Aart Middeldorp and Andrei Voronkov",
booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning",
address = "Netherlands",
note = "19th International Conference, LPAR-19, 2013 ; Conference date: 14-12-2013 Through 19-12-2013",
}