Colin Stirling. Modal and Temporal Properties of Processes. Texts in Computer Science, Springer, 2001. [doi]
@book{txcs-Stirling01, title = {Modal and Temporal Properties of Processes}, author = {Colin Stirling}, year = {2001}, doi = {10.1007/978-1-4757-3550-5}, url = {http://dx.doi.org/10.1007/978-1-4757-3550-5}, researchr = {https://researchr.org/publication/txcs-Stirling01}, cites = {0}, citedby = {0}, series = {Texts in Computer Science}, publisher = {Springer}, isbn = {978-1-4757-3550-5}, }