{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:19Z","timestamp":1725456019592},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354058241X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013977","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:34:32Z","timestamp":1132731272000},"page":"1-16","source":"Crossref","is-referenced-by-count":2,"title":["Combining temporal specification techniques"],"prefix":"10.1007","author":[{"given":"Morten Ulrik","family":"S\u00f8rensen","sequence":"first","affiliation":[]},{"given":"Odd Erik","family":"Hansen","sequence":"additional","affiliation":[]},{"given":"Hans Henrik","family":"L\u00f8vengreen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Martin Abadi and Leslie Lamport. An old-fashioned recipe for real time. In J.W. Bakker et al., editors, Real-Time: Theory in Practice. Lecture Notes in Computer Science, vol. 600, pages 1\u201327. Springer-Verlag, 1992.","key":"1_CR1","DOI":"10.1007\/BFb0031985"},{"unstructured":"Odd Erik Hansen and Morten Ulrik S\u00f8rensen. Combining temporal specification techniques. Master's thesis, Technical University of Denmark, Department of Computer Science, July 1993.","key":"1_CR2"},{"doi-asserted-by":"crossref","unstructured":"Thomas A. Henzinger, Zohar Manna, and Amir Pnueli. Temporal proof methodologies for real-time systems. In Proceedings of the 18th Annual Symposium on Principles of Programming Languages, pages 353\u2013384. ACM Press, 1991.","key":"1_CR3","DOI":"10.1145\/99583.99629"},{"doi-asserted-by":"crossref","unstructured":"Thomas A. Henzinger, Zohar Manna, and Amir Pnueli. Timed transition systems. In J.W. de Bakker et al., editors, Real-Time: Theory in Practice. Lecture Notes in Computer Science, vol. 600, pages 226\u2013251. Springer-Verlag, 1992.","key":"1_CR4","DOI":"10.1007\/BFb0031995"},{"unstructured":"Cliff B. Jones. Systematic Software Development using VDM. Prentice Hall, second edition, 1990.","key":"1_CR5"},{"unstructured":"Yassine Lakneche and Josef Hooman. Metric temporal logic with durations. To appear in a TCS special issue on Hybrid Systems (editors J. Sifakis and A. Pnueli), 1994.","key":"1_CR6"},{"unstructured":"Leslie Lamport. A fast mutual exclusion algorithm. Technical Report 7, Digital Equipment Corporation, Systems Research Center, November 1985.","key":"1_CR7"},{"unstructured":"Leslie Lamport. The Temporal Logic of Actions. Technical Report 79, Digital Equipment Corporation, Systems Research Center, 1991.","key":"1_CR8"},{"key":"1_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems, volume 1, Specification","author":"Z. Manna","year":"1992","unstructured":"Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, volume 1, Specification. Springer-Verlag, New York, 1992."},{"doi-asserted-by":"crossref","unstructured":"Zohar Manna and Amir Pnueli. Verifying hybrid systems. In Workshop on Theory for Hybrid Systems, 1992.","key":"1_CR10","DOI":"10.1007\/3-540-57318-6_22"},{"doi-asserted-by":"crossref","unstructured":"A. Melton, D.A. Scmidt, and G.E. Strecker. Galois connections and computer science applications. In D.H. Pitt et al., editors, Category Theory and Computer Programming. Lecture Notes in Computer Science, vol. 240, pages 299\u2013312. Springer-Verlag, 1986.","key":"1_CR11","DOI":"10.1007\/3-540-17162-2_130"},{"issue":"1","key":"1_CR12","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/32.210306","volume":"19","author":"A. P. Ravn","year":"1993","unstructured":"Anders P. Ravn, Hans Rischel, and Kirsten M. Hansen. Specifying and verifying requirements of real-time systems. IEEE Trans. Software Engineering, 19(1):41\u201355, Jan. 1993.","journal-title":"IEEE Trans. Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Jens Ulrik Skakkeb\u00e6k. Liveness and Fairness in a Duration Calculus. In Proceedings of CONCUR '94, Lecture Notes in Computer Science. Springer-Verlag, 1994. To appear.","key":"1_CR13","DOI":"10.1007\/BFb0015015"},{"unstructured":"J.M. Spivey. The Z Notation. Prentice Hall, 1989.","key":"1_CR14"},{"unstructured":"Burghardt von Karger. A simple model for the ProCoS languages. Technical Report OU BvK 10\/2, ProCoSII, ESPRIT BRA 7071, Oxford University, September 1993.","key":"1_CR15"},{"doi-asserted-by":"crossref","unstructured":"Glynn Winskel. Relating two models of hardware. In D.H. Pitt, A. Poign\u00e9, and D.E. Rydeheard, editors, Category Theory and Computer Science. Lecture Notes in Computer Science, vol. 283, pages 98\u2013113. Springer-Verlag, 1987.","key":"1_CR16","DOI":"10.1007\/3-540-18508-9_22"}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013977","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:35:29Z","timestamp":1586579729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013977"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058241X"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0013977","relation":{},"subject":[]}}