{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:26:10Z","timestamp":1778300770296,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540507284","type":"print"},{"value":"9783540460763","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50728-0_41","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:32:06Z","timestamp":1330201926000},"page":"166-179","source":"Crossref","is-referenced-by-count":7,"title":["Construction of deterministic transition graphs from dynamic integrity constraints"],"prefix":"10.1007","author":[{"given":"Udo W.","family":"Lipeck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dasu","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"10_CR1","unstructured":"Castilho,J.M.V.de\/ Casanova,M.A.\/ Furtado,A.L.: A Temporal Framework for Database Specifications. Proc. Int. Conf. on Very Large Data Bases 1982, 280\u2013291"},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M.\/ Emerson, E.A.\/ Sistla, A.P.: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Trans. on Progr. Lang. and Sys. 8 (1986), 244\u2013263","journal-title":"ACM Trans. on Progr. Lang. and Sys."},{"key":"10_CR3","unstructured":"Feng,D.S.\/ Lipeck,U.W.: Monitoring Temporal Formulae Deterministically (in German). Informatik-Bericht Nr. 87-06, Techn. Univ. Braunschweig 1987"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0306-4379(86)90023-2","volume":"11","author":"J. Fiadeiro","year":"1986","unstructured":"Fiadeiro, J.\/ Sernadas, A.: The INFOLOG Linear Tense Propositional Logic of Events and Transactions. Information Systems 11 (1986), 61\u201385","journal-title":"Information Systems"},{"key":"10_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-71549-5","volume-title":"Temporal Logics of Programs","author":"F. Kr\u00f6ger","year":"1987","unstructured":"Kr\u00f6ger, F.: Temporal Logics of Programs. Springer-Verlag, Berlin 1987"},{"key":"10_CR6","unstructured":"Kung,C.H.: A Temporal Framework for Database Specification and Verification. Proc. Int. Conf. on Very Large Data Bases 1984, 91\u201399"},{"key":"10_CR7","unstructured":"Lipeck, U.W.: On Dynamic Integrity of Databases: Fundamentals of Specification and Monitoring (in German). Habilitation Thesis, Informatics, TU Braunschweig, 1987"},{"key":"10_CR8","first-page":"145","volume-title":"Proc. IFIP Work. Conf. on Theoretical and Formal Aspects of Information Systems","author":"U.W. Lipeck","year":"1985","unstructured":"Lipeck, U.W.\/ Ehrich, H.-D.\/ Gogolla, M.: Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. Proc. IFIP Work. Conf. on Theoretical and Formal Aspects of Information Systems (A. Sernadas\/ J. Bubenko\/ A. Olive, eds.), North-Holland, Amsterdam 1985, 145\u2013157"},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0306-4379(87)90004-4","volume":"12","author":"U.W. Lipeck","year":"1987","unstructured":"Lipeck, U.W.\/ Saake, G.: Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems 12 (1987), 255\u2013269","journal-title":"Information Systems"},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-94-009-7893-5_6","volume-title":"Theoretical Foundations of Programming Methodology","author":"Z. Manna","year":"1982","unstructured":"Manna, Z.: Verification of Sequential Programs: Temporal Axiomatization. In: Theoretical Foundations of Programming Methodology (M. Broy\/ G. Schmidt, eds.) Reidel Publ. Co., Dordrecht 1982, 53\u2013101"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Manna,Z.\/ Pnueli,A.: Verification of Concurrent Programs: The Temporal Framework. In: The Correctness Problem in Computer Science (R.S.Boyer\/ J.S.Moore, eds.), Academic Press, 1981, 215\u2013273","DOI":"10.21236\/ADA106750"},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Manna, Z.\/ Wolper, P.: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. on Progr. Lang. and Sys. 6 (1984), 68\u201393","journal-title":"ACM Trans. on Progr. Lang. and Sys."},{"key":"10_CR13","first-page":"235","volume-title":"Proc. IFIP Work. Conf. on Temporal Aspects in Information Systems 1987","author":"G. Saake","year":"1988","unstructured":"Saake, G.\/ Lipeck, U.W.: Foundations of Temporal Integrity Monitoring. Proc. IFIP Work. Conf. on Temporal Aspects in Information Systems 1987 (C. Rolland et al., eds.), North-Holland, Amsterdam 1988, 235\u2013249"},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","volume":"5","author":"A. Sernadas","year":"1980","unstructured":"Sernadas, A.: Temporal Aspects of Logical Procedure Definition. Information Systems 5 (1980), 167\u2013187","journal-title":"Information Systems"},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A.P. Sistla","year":"1985","unstructured":"Sistla, A.P.\/ Clarke, E.M.: The Complexity of Propositional Linear Temporal Logic. Journal of the ACM 32 (1985), 733\u2013749","journal-title":"Journal of the ACM"},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1016\/S0019-9958(83)80051-5","volume":"56","author":"P. Wolper","year":"1983","unstructured":"Wolper, P.: Temporal Logic Can Be More Expressive. Information and Control 56 (1983), 72\u201399","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","Graph-Theoretic Concepts in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50728-0_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:46Z","timestamp":1605647926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50728-0_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540507284","9783540460763"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-50728-0_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989]]}}}