{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:59Z","timestamp":1725488099982},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675303"},{"type":"electronic","value":"9783540454991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_4","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T21:55:04Z","timestamp":1185918904000},"page":"11-25","source":"Crossref","is-referenced-by-count":16,"title":["Step by Step to Histories"],"prefix":"10.1007","author":[{"given":"Max","family":"Breitling","sequence":"first","affiliation":[]},{"given":"Jan","family":"Philipps","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"4_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/3-540-61474-5_92","volume-title":"STeP: Deductive-Algorithmic Verification of Reactive and Real-time Systems","author":"N. Bj\u00f8rner","year":"1996","unstructured":"N. Bj\u00f8rner, A. Browne, E. Chang, M. Col\u00f3n, A. Kapur, Z. Manna, H. B. Sipma, and T. E. Uribe. STeP: Deductive-Algorithmic Verification of Reactive and Real-time Systems. In CAV\u201996. Lecture Notes in Computer Science 1102, pages 415\u2013418, 1996."},{"key":"4_CR2","unstructured":"M. Breitling and J. Philipps. Black Box Views of State Machines. Technical Report TUM-I9916, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 1999."},{"key":"4_CR3","series-title":"Lect Notes Comput Sci","first-page":"225","volume-title":"Scenarios: A model of nondeterministic computation","author":"J. D. Brock","year":"1981","unstructured":"J. D. Brock and W. B. Ackermann. Scenarios: A model of nondeterministic computation. In J. Diaz and I. Ramos, editors, Lecture Notes in Computer Science 107, pages 225\u2013259, 1981."},{"key":"4_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1007\/3-540-60692-0_69","volume-title":"Generalized temporal verification diagrams","author":"I. A. Browne","year":"1995","unstructured":"I. A. Browne, Z. Manna, and H. B. Sipma. Generalized temporal verification diagrams. In Lecture Notes in Computer Science 1026, pages 484\u2013498, 1995."},{"key":"4_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-52559-9_64","volume-title":"Models, Formalism, Correctness","author":"M. Broy","year":"1990","unstructured":"M. Broy. Functional specification of time sensitive communicating systems. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Models, Formalism, Correctness. Lecture Notes in Computer Science 430, pages 153\u2013179. Springer, 1990."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"M. Broy. From states to histories. In Engineering Theories of Software Construction. NATO Science Series F, Marktoberdorf Summer School, 2000. To be published.","DOI":"10.1007\/978-3-540-44616-3_2"},{"key":"4_CR7","unstructured":"M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems: An Introduction to Focus\u2014Revised Version. Technical Report TUM-I9202-2, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 1993."},{"key":"4_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/b71630","volume-title":"Requirements Targeting Software and Systems Engineering, International Workshop RTSE\u201997","author":"M. Broy","year":"1998","unstructured":"M. Broy, F. Huber, B. Paech, B. Rumpe, and K. Spies. Software and system modeling based on a unified formal semantics. In M. Broy and B. Rumpe, editors, Requirements Targeting Software and Systems Engineering, International Workshop RTSE\u201997. Lecture Notes in Computer Science 1526. Springer, 1998."},{"key":"4_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings FTRTFT\u201996 \u2014 Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"F. Huber","year":"1996","unstructured":"F. Huber, B. Sch\u00e4tz, A. Schmidt, and K. Spies. Autofocus\u2014a tool for distributed systems specification. In Proceedings FTRTFT\u201996 \u2014 Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science 1135, 1996."},{"issue":"3","key":"4_CR10","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"6","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages, 6(3):872\u2013923, May 1994.","journal-title":"ACM Transactions on Programming Languages"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/BF01191722","volume":"30","author":"Z. Manna","year":"1993","unstructured":"Z. Manna and A. Pnueli. Models for reactivity. Acta Informatica, 30:609\u2013678, 1993.","journal-title":"Acta Informatica"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"L. C. Paulson. Logic and Computation. Cambridge University Press, 1987.","DOI":"10.1017\/CBO9780511526602"},{"key":"4_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle: A Generic Theorem Prover","author":"L. C. Paulson","year":"1994","unstructured":"L. C. Paulson. Isabelle: A Generic Theorem Prover. Lecture Notes in Computer Science 828. Springer, 1994."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T15:53:08Z","timestamp":1550418788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45499-3_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}