{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:36Z","timestamp":1725663336358},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540128960"},{"type":"electronic","value":"9783540387756"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-12896-4_380","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:57:16Z","timestamp":1330192636000},"page":"443-457","source":"Crossref","is-referenced-by-count":8,"title":["An interval-based temporal logic"],"prefix":"10.1007","author":[{"given":"Richard L.","family":"Schwartz","sequence":"first","affiliation":[]},{"given":"P. M.","family":"Melliar-Smith","sequence":"additional","affiliation":[]},{"given":"Friedrich H.","family":"Vogt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Bochmann, G.V., \u201cHardware Specification with Temporal Logic: An Example\u201d, IEEE Transactions on Computers, Vol C-31, No. 3, March 1982.","DOI":"10.1109\/TC.1982.1675978"},{"key":"30_CR2","unstructured":"Hailpern, B., \u201cVerifying Concurrent Processes Using Temporal Logic\u201d, Technical Report 195, Computer Systems Laboratory, Stanford Univ., August 1980."},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Harel, D., \u201cFirst-Order Dynamic Logic\u201d, Springer Verlag Lecture Notes, No. 68, 1979.","DOI":"10.1007\/3-540-09237-4"},{"key":"30_CR4","unstructured":"International Standards Organization, \u201cData Processing \u2014 Open Systems Interconnection \u2014 Basic Reference Model\u201d, ISO\/DIS 7498, April 1982."},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Lamport, L., \u201cTimesets: A New Method for Temporal Reasoning about Programs\u201d, Logics of Programs Conference, Springer Verlag, Vol. 131, Sept. 1981.","DOI":"10.1007\/BFb0025783"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Moszkowski, B., \u201cA Temporal Logic for Multi-Level Reasoning about Hardware\u201d, Technical Report STAN-CS-82-952, Computer Science Dept., Stanford Univ., Dec. 1982.","DOI":"10.21236\/ADA324174"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Plaisted, D., \u201cAn Intermediate-Level Language for Obtaining Decision Procedures for a Class of Temporal Logics\u201d, Computer Science Laboratory, SRI, in preparation, June 1983.","DOI":"10.1007\/3-540-12896-4_377"},{"key":"30_CR8","unstructured":"Schwartz, R., P.M. Melliar-Smith, \u201cTemporal Logic Specification of Distributed Systems\u201d, Proceedings of the IEEE Conference on Distributed Systems, April 1981."},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Schwartz, R., P.M. Melliar-Smith, \u201cFrom State Machines to Temporal Logic: Specification Methods for Protocol Standards\u201d, IEEE Transactions on Communications, Dec. 1982.","DOI":"10.1109\/TCOM.1982.1095451"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Schwartz, R., P.M. Melliar-Smith, F. Vogt, \u201cAn Interval Logic for Higher-Level Temporal Reasoning\u201d, Proceedings of the SIGACT\/SIGOPS Conference on Principles of Distributed Computing, August, 1983.","DOI":"10.1145\/800221.806720"},{"key":"30_CR11","unstructured":"Seitz, C., \u201cIdeas about Arbiters\u201d, Lambda, pp. 10\u201314, First Quarter, 1980."},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Shostak, R., R. Schwartz, P.M. Melliar-Smith, \u201cSTP: A Mechanized Logic for Specification and Verification\u201d, 6th Conference on Automated Deduction, Springer Verlag Lecture Notes, Vol. 138, June 1982.","DOI":"10.1007\/BFb0000050"},{"key":"30_CR13","unstructured":"Vogt, F., \u201cEntwurf eines Ereignisorientierten Modells zur Spezifikation von Verteilten Systemen Mittels Temporaler Logik\u201d, Ph.D. Dissertation, Technische Universit\u00e4t Wien, Austria, Feb. 1982."},{"key":"30_CR14","unstructured":"Vogt, F., \u201cEvent-Based Temporal Logic Specification of Services and Protocols\u201d, Protocol Specification, Testing and Verification, North-Holland Publishing, 1982."},{"key":"30_CR15","unstructured":"Wolper, P., \u201cSynthesis of Communicating Processes from Temporal Logic Specifications\u201d, Report No. STAN-CS-82-925, Dept of Computer Science, Stanford University, August 1982."}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12896-4_380.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:51:39Z","timestamp":1619556699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12896-4_380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540128960","9783540387756"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-12896-4_380","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}