{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:01Z","timestamp":1725664081841},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540575290"},{"type":"electronic","value":"9783540482116"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57529-4_52","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T08:05:48Z","timestamp":1330243548000},"page":"173-192","source":"Crossref","is-referenced-by-count":7,"title":["A real-time interval logic and its decision procedure"],"prefix":"10.1007","author":[{"given":"Y. S.","family":"Ramakrishna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. K.","family":"Dillon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. E.","family":"Moser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. M.","family":"Melliar-Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G","family":"Kutty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"14_CR1","first-page":"322","volume":"443","author":"R Alur","year":"1990","unstructured":"Alur R, Dill D, Automata for Modelling Real-Time Systems, Proc. 17th ICALP, 1990, LNCS 443, pp 322\u2013335.","journal-title":"LNCS"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Alur R, Feder T, Henzinger T, The Benefits of Relaxing Punctuality, Proc. 10th PODC, 1991, pp 139\u2013152.","DOI":"10.1145\/112600.112613"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Alur R, Henzinger T, A Really Temporal Logic, Proc 30th FOCS, 1989, pp 164\u2013169.","DOI":"10.1109\/SFCS.1989.63473"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Alur R, Henzinger T, Back to the Future: Towards a Theory of Timed Regular Languages, Proc 33rd FOCS, 1992, pp 177\u2013186.","DOI":"10.1109\/SFCS.1992.267774"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Alur R, Henzinger T, Vardi M Y, Parametric Real-Time Reasoning, Proc 25th STOC, 1993, pp 592\u2013601.","DOI":"10.1145\/167088.167242"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Barringer H, Kuiper R, Pnueli A, A Really Abstract Concurrent Model and Its Temporal Logic, Proc. 18th POPL, 1986, pp 173\u2013183.","DOI":"10.1145\/512644.512660"},{"issue":"5","key":"14_CR7","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z Chaochen","year":"1991","unstructured":"Chaochen Z, Hoare C A R, Ravn A P, A Calculus of Durations, Inf Proc Let 40(5), 1991, pp 269\u2013276.","journal-title":"Inf Proc Let"},{"key":"14_CR8","first-page":"58","volume":"665","author":"Z Chaochen","year":"1993","unstructured":"Chaochen Z, Hansen M R, Sestoft, Decidability and Un decidability Results for the Duration Calculus, Proc 10th STACS, 1993, LNCS 665, pp 58\u201368.","journal-title":"LNCS"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Dillon L K, Kutty G, Moser L E, Melliar-Smith P M, Ramakrishna Y S, Graphical Specifications for Concurrent Software Systems, Proc. 14th ICSE, 1992, pp 214\u2013224.","DOI":"10.1145\/143062.143116"},{"key":"14_CR10","first-page":"136","volume":"531","author":"E. A. Emerson","year":"1990","unstructured":"Emerson E A, Mok A, Sistla A P, Srinivasan J, Quantitative Temporal Reasoning, Proc. 1st CAV, 1990, LNCS 531, pp 136\u2013145.","journal-title":"LNCS"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Halpern J, Manna Z, Moszkowski B, A Hardware Semantics Based on Temporal Intervals, Proc. 10th ICALP, 1983, LNCS, pp 278\u2013291.","DOI":"10.1007\/BFb0036915"},{"issue":"No4","key":"14_CR12","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J Halpern","year":"1991","unstructured":"Halpern J, Shoham Y, A Propositional Modal Logic of Time Intervals, J. ACM, Vol 38, No 4, October 1991, pp 935\u2013962.","journal-title":"J. ACM"},{"issue":"No9","key":"14_CR13","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F Jahanian","year":"1986","unstructured":"Jahanian F, Mok A, Safety Analysis of Timing Properties in Real-Time Systems, IEEE Trans. Software Engineering, Vol 12, No 9, 1986, pp 890\u2013904.","journal-title":"IEEE Trans. Software Engineering"},{"key":"14_CR14","first-page":"138","volume":"697","author":"G Kutty","year":"1993","unstructured":"Kutty G, Ramakrishna Y S, Moser L E, Dillon L K, Melliar-Smith P M, A Graphical Interval Logic Toolset for Verifying Concurrent Systems, Proc 4th CAV, 1993, LNCS 697, pp 138\u2013153.","journal-title":"LNCS"},{"key":"14_CR15","unstructured":"Lamport L, The Temporal Logic of Actions, DEC SRC Tech Rep 79, December 1991."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Lewis H, A Logic of Concrete Time Intervals, Proc. 5th LICS, 1990, pp 380\u2013389.","DOI":"10.1109\/LICS.1990.113763"},{"key":"14_CR17","first-page":"447","volume":"600","author":"O Maler","year":"1991","unstructured":"Maler O, Manna Z, Pnueli A, From Timed to Hybrid Systems, Proc REX Workshop \u201cReal-Time: Theory in Practice,\u201d June 1991, LNCS 600, pp. 447\u2013484.","journal-title":"LNCS"},{"key":"14_CR18","first-page":"224","volume":"398","author":"P. M. Melliar-Smith","year":"1987","unstructured":"Melliar-Smith P M, Extending Interval Logic to Real-Time Systems, Proc. Conf. Temporal Logic in Specification, Altrincham, England, April 1987, LNCS 398, pp 224\u2013242.","journal-title":"LNCS"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Narayana K T, Aaby A A, Specification of Real-Time Systems in Real-Time Temporal Interval Logic, Proc. 9th IEEE RTSS, 1988, pp 86\u201395.","DOI":"10.1109\/REAL.1988.51104"},{"key":"14_CR20","first-page":"51","volume":"652","author":"Y. S. Ramakrishna","year":"1992","unstructured":"Ramakrishna Y S, Dillon L K, Moser L E, Melliar-Smith P M, Kutty G, An Automata-Theoretic Decision Procedure for Future Interval Logic, Proc. 12th FST&TCS, 1992, LNCS 652, pp 51\u201367.","journal-title":"LNCS"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Ramakrishna Y S, Melliar-Smith P M, Moser L E, Dillon L K, Kutty G, Really Visual Temporal Reasoning, RTSS, 1993, to appear.","DOI":"10.1109\/REAL.1993.393490"},{"key":"14_CR22","volume-title":"PhD Dissertation","author":"Y. S. Ramakrishna","year":"1993","unstructured":"Ramakrishna Y S, Interval Logics for Specification and Verification, PhD Dissertation, Dept of Electrical and Computer Engineering, University of California, Santa Barbara, 1993, to appear."},{"issue":"3","key":"14_CR23","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/75309.75311","volume":"114","author":"R. R. Razouk","year":"1989","unstructured":"Razouk R R, Gorlick M M, A Real-Time Interval Logic For Reasoning About Executions of Real-Time Programs, Proc. 3rd TAV, SIGSOFT SE Notes, 114 (3), 1989, pp 10\u201319.","journal-title":"Proc. 3rd TAV, SIGSOFT SE Notes"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Schwartz R L, Melliar-Smith P M, Vogt F, An Interval Logic for Higher-Level Temporal Reasoning, Proc. 2nd PODC, 1983, pp 173\u2013186.","DOI":"10.1145\/800221.806720"},{"key":"14_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R. M. Smullyan","year":"1968","unstructured":"Smullyan, R M, First-Order Logic, Springer-Verlag, Berlin, 1968."},{"key":"14_CR26","first-page":"75","volume":"398","author":"P Wolper","year":"1987","unstructured":"Wolper P, On the Relation of Programs and Computations to Models of Temporal Logic, Proc. Conf. Temporal Logic in Specification, 1987, LNCS 398, pp 75\u2013123.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57529-4_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:12:44Z","timestamp":1605629564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57529-4_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575290","9783540482116"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-57529-4_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}