{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:14Z","timestamp":1742617154788,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569220"},{"type":"electronic","value":"9783540477877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56922-7_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:53:04Z","timestamp":1330257184000},"page":"138-153","source":"Crossref","is-referenced-by-count":8,"title":["A Graphical Interval Logic toolset for verifying concurrent systems"],"prefix":"10.1007","author":[{"given":"G.","family":"Kutty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y. S.","family":"Ramakrishna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. E.","family":"Moser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. K.","family":"Dillon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. M.","family":"Melliar-Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"issue":"11","key":"12_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. F. Allen","year":"1983","unstructured":"J. F. Allen, \u201cMaintaining knowledge about temporal intervals,\u201d Communications of the ACM 26, 11 (1983), 832\u2013843.","journal-title":"Communications of the ACM"},{"key":"12_CR2","volume-title":"Concurrency Control and Recovery in Database Systems","author":"P. A. Bernstein","year":"1987","unstructured":"P. A. Bernstein, V. Hadzilacos and N. Goodman, Concurrency Control and Recovery in Database Systems, Addison-Wesley, Reading, MA, 1987."},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J. R. Burch","year":"1992","unstructured":"J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill and L. J. Hwang, \u201cSymbolic model checking: 1020 states and beyond,\u201d Information and Computation 98 (1992), 142\u2013170.","journal-title":"Information and Computation"},{"issue":"2","key":"12_CR4","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E. M. Clarke, E. A. Emerson and A. P. Sistla, \u201cAutomatic verification of finite-state concurrent systems using temporal logic specifications,\u201d ACM Trans. on Programming Languages and Systems 8, 2 (April 1986), 244\u2013263.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"unstructured":"J. Crow, S. T. Jefferson, R. Lee, P. M. Melliar-Smith, S. Owre, J. M. Rushby, R. L. Schwartz, N. Shankar, R. E. Shostak, F. W. von Henke and A. Whitehurst, \u201cEHDM specification and verification system,\u201d Technical Report, SRI International, Computer Science Laboratory, SRI Project 8110, January 1990.","key":"12_CR5"},{"doi-asserted-by":"crossref","unstructured":"L. K. Dillon, G. Kutty, L. E. Moser, P. M. Melliar-Smith and Y. S. Ramakrishna, \u201cGraphical specifications for concurrent software systems,\u201d Proc. of 14th Intl. Conf. on Software Engineering, Melbourne, Australia (May 1992), 214\u2013224.","key":"12_CR6","DOI":"10.1145\/143062.143116"},{"issue":"4","key":"12_CR7","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel, H. Lackover, A Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring and M. Trakhtenbrot, \u201cSTATEMATE: A working environment for the development of complex reactive systems,\u201d IEEE Trans. on Software Engineering 16, 4 (April 1990), 403\u2013414.","journal-title":"IEEE Trans. on Software Engineering"},{"unstructured":"The HOL System: Description, SRI International (December 1989).","key":"12_CR8"},{"unstructured":"S. Kono, \u201cAutomatic verification of interval temporal logic,\u201d Proc. of 8th British Colloquium for Theoretical Computer Science (March 1992).","key":"12_CR9"},{"key":"12_CR10","volume-title":"Technical Report 231","author":"J. A. G. G. M. M. Koomen","year":"1989","unstructured":"J. A. G. M. Koomen, \u201cThe TIMELOGIC temporal reasoning system,\u201d Technical Report 231, Dept. of Computer Science, The University of Rochester, Rochester, NY, March 1989."},{"unstructured":"G. Kutty, L. E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna and L. K. Dillon, \u201cAxiomatizations of interval logics,\u201d submitted for publication.","key":"12_CR11"},{"issue":"1","key":"12_CR12","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/63238.63240","volume":"32","author":"L. Lamport","year":"1989","unstructured":"L. Lamport, \u201cA simple approach to specifying concurrent systems,\u201d Communications of the ACM 32. 1 (January 1989), 32\u201345.","journal-title":"Communications of the ACM"},{"doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli, \u201cVerification of concurrent programs: The temporal framework,\u201d Correctness Problem in Computer Science, R. S. Boyer, J. S. Moore (eds.), Academic Press (1981), 215\u2013273.","key":"12_CR13","DOI":"10.21236\/ADA106750"},{"doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli, \u201cSpecification and verification of concurrent programs by \u2200-automata,\u201d Proc. of Conf. on Temporal Logic in Specification, LNCS 398, Altrincham, England (April 1987), 124\u2013187.","key":"12_CR14","DOI":"10.1007\/3-540-51803-7_24"},{"key":"12_CR15","series-title":"LNCS 164","first-page":"371","volume-title":"Proc. of Workshop on Logics of Programs","author":"B. Moszkowski","year":"1983","unstructured":"B. Moszkowski and Z. Manna, \u201cReasoning in interval temporal logic,\u201d Proc. of Workshop on Logics of Programs, LNCS 164, Springer-Verlag, Pittsburgh, PA (June 1983), 371\u2013382."},{"doi-asserted-by":"crossref","unstructured":"B. A. Myers, D. A. Giuse, R. B. Danneberg, B. VanderZanden, D. S. Kosbie, E. Pervin, A. Mickish and P. Marchai, \u201cGarnet: Comprehensive support for graphical, highly interactive user interfaces,\u201d IEEE Computer (November 1990), 71\u201385.","key":"12_CR16","DOI":"10.1109\/2.60882"},{"key":"12_CR17","volume-title":"Technical Report B1","author":"I. Niemel\u00e4","year":"1987","unstructured":"I. Niemel\u00e4 and H. Tuominen, \u201cHelsinki Logic Machine: A system for logical expertise,\u201d Technical Report B1, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, 1987."},{"key":"12_CR18","first-page":"51","volume-title":"LNCS 652","author":"Y. S. Ramakrishna","year":"1992","unstructured":"Y. S. Ramakrishna, L. K. Dillon, L. E. Moser, P. M. Melliar-Smith and G. Kutty, \u201cAn automata-theoretic decision procedure for future interval logic,\u201d Proc. of Twelfth Conf. on Foundations of Software Technology and Theoretical Computer Science, LNCS 652, Springer-Verlag, New Delhi, India (December 1992), 51\u201367."},{"doi-asserted-by":"crossref","unstructured":"R. Schl\u00f6r and W. Damm, \u201cSpecification and verification of system-level hardware designs using timing diagrams,\u201d Proc. of European Conf. on Design Automation, Paris, France (February 1993), 518\u2013524.","key":"12_CR19","DOI":"10.1109\/EDAC.1993.386409"},{"unstructured":"P. Wolper, \u201cThe tableau method for temporal logic: An overview,\u201d Logique et Analyse, Novelle S\u00e9rie 28e Ann\u00e9e, 110\u2013111 Numero Special, Automated Reasoning in Non-Classical Logic (June\u2013September 1985), 119\u2013136.","key":"12_CR20"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56922-7_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:57:37Z","timestamp":1742594257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56922-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569220","9783540477877"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-56922-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}