Help finding a paper in computer science dynamic logic
Hello,
Does anybody know where I can find the following paper: D. Harel, D. Kozen and J. Tiuryn, Dynamic Logic, Foundations of Computer Science, MIT Press, 2000.
I have searched on Google Scholar and it does not provide any links, only citations.
I found it referenced in the following text: R. Goldblatt and M. Jackson, “Well structured program equivalence is highly undecidable,” ACM Trans. Comput. Logic, vol. 13, no. 3, pp. 1–8, Aug. 2012, doi: 10.1145/2287718.2287726.
Does anybody know where I can find the following paper: D. Harel, D. Kozen and J. Tiuryn, Dynamic Logic, Foundations of Computer Science, MIT Press, 2000.
I have searched on Google Scholar and it does not provide any links, only citations.
I found it referenced in the following text: R. Goldblatt and M. Jackson, “Well structured program equivalence is highly undecidable,” ACM Trans. Comput. Logic, vol. 13, no. 3, pp. 1–8, Aug. 2012, doi: 10.1145/2287718.2287726.
Your library might offer training and resources to locate useful documents.