{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:20Z","timestamp":1725664640864},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63010-4_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:59:01Z","timestamp":1330279141000},"page":"95-110","source":"Crossref","is-referenced-by-count":3,"title":["Integrating temporal logics and model checking algorithms"],"prefix":"10.1007","author":[{"given":"Teodor","family":"Rus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"van Wyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6894-6","volume-title":"Dependence Analysis for Supercomputing","author":"U. Banerjee","year":"1988","unstructured":"U. Banerjee. Dependence Analysis for Supercomputing. Kluwer Academic, Boston, 1988."},{"issue":"2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"E. Clarke, E. Emerson, and A. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR3","unstructured":"E. Clarke, O. Grumberg, and D. Long. Model checking. In Proceedings of the International Summer School on Deductive Program Design, 1994."},{"key":"7_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8399-1","volume-title":"Universal Algebra","author":"P. Cohn","year":"1981","unstructured":"P. Cohn. Universal Algebra. Reidel, London, 1981."},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1080\/01969727608927525","volume":"6","author":"W. Hatcher","year":"1976","unstructured":"W. Hatcher and T. Rus. Context-free algebra. Journal of Cybernetics, 6:65\u201377, 1976.","journal-title":"Journal of Cybernetics"},{"key":"7_CR6","volume-title":"PhD thesis","author":"J. Knaack","year":"1994","unstructured":"J. Knaack. An Algebraic Approach to Language Translation. PhD thesis, The University of Iowa, Department of Computer Science, Iowa City, IA 52242, December 1994."},{"key":"7_CR7","volume-title":"Technical Report 93-04","author":"J. Knaack","year":"1993","unstructured":"J. Knaack and T. Rus. The environment of an algebraic compiler. Technical Report 93-04, Department of Computer Science, The University of Iowa, Iowa City, IA 52242, April 1993."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"S. Kripke. Semantical analysis of modal logic i: Normal modal propositional calculi. Zeitschrift f. Math. Logik und Grundlagen d. Math., 9, 1963.","DOI":"10.1002\/malq.19630090502"},{"issue":"4","key":"7_CR9","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0096-0551(94)90005-1","volume":"20","author":"T. Rus","year":"1994","unstructured":"T. Rus and T. Halverson. Algebraic tools for language processing. Computer Languages, 20(4):213\u2013238, 1994.","journal-title":"Computer Languages"},{"issue":"4","key":"7_CR10","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.4672","volume":"14","author":"T. Rus","year":"1988","unstructured":"T. Rus. Parsing languages by pattern matching. IEEE Transactions on Software Engineering, 14(4):498\u2013510, 1988.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR11","first-page":"271","volume":"90","author":"T. Rus","year":"1991","unstructured":"T. Rus. Algebraic construction of compilers. Theoretical Computer Science, 90:271\u2013308, 1991.","journal-title":"Theoretical Computer Science"},{"key":"7_CR12","unstructured":"T. Rus and E. Van Wyk. A formal approach to parallelizing compilers. In SIAM Conference on Parallel Processing for Scientific Computation, Proceedings, March 14 1997. Paper available at http:\/\/www.cs.uiowa.edu\/\u223crus."}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T10:37:47Z","timestamp":1561372667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}