{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:08Z","timestamp":1725550628720},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291053"},{"type":"electronic","value":"9783540320302"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560548_15","type":"book-chapter","created":{"date-parts":[[2005,10,6]],"date-time":"2005-10-06T09:38:22Z","timestamp":1128591502000},"page":"176-190","source":"Crossref","is-referenced-by-count":3,"title":["Temporal Modalities for Concisely Capturing Timing Diagrams"],"prefix":"10.1007","author":[{"given":"Hana","family":"Chockler","sequence":"first","affiliation":[]},{"given":"Kathi","family":"Fisler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-48153-2_7","volume-title":"Correct Hardware Design and Verification Methods","author":"N. Amla","year":"1999","unstructured":"Amla, N., Emerson, E.A., Namjoshi, K.S.: Efficient decompositional model checking for regular timing diagrams. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol.\u00a01703, pp. 67\u201381. Springer, Heidelberg (1999)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-36135-9_15","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"N. Amla","year":"2002","unstructured":"Amla, N., Emerson, E.A., Namjoshi, K.S., Trefler, R.J.: Visual specifications for modular reasoning about asynchronous systems. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, pp. 226\u2013242. Springer, Heidelberg (2002)"},{"key":"15_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5615-2","volume-title":"Hierarchical Annotated Action Diagrams","author":"E. Cerny","year":"1998","unstructured":"Cerny, E., Berkane, B., Girodias, P., Khordoc, K.: Hierarchical Annotated Action Diagrams. Kluwer Academic Publishers, Dordrecht (1998)"},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/192218.192226","volume":"3","author":"L. Dillon","year":"1994","unstructured":"Dillon, L., Kutty, G., Moser, L., Melliar-Smith, P.M., Ramakrishna, Y.S.: A graphical interval logic for specifying concurrent systems. ACM Transactions on Software Engineering and Methodology\u00a03(2), 131\u2013165 (1994)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1023\/A:1008345113376","volume":"8","author":"K. Fisler","year":"1999","unstructured":"Fisler, K.: Timing diagrams: Formalization and algorithmic verification. Journal of Logic, Language, and Information\u00a08, 323\u2013361 (1999)","journal-title":"Journal of Logic, Language, and Information"},{"key":"15_CR6","unstructured":"Fisler, K.: On tableau constructions for timing diagrams. In: NASA Langley Formal Methods Workshop (2000)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","first-page":"407","volume-title":"Temporal Logic in Specification","author":"D. Gabbay","year":"1989","unstructured":"Gabbay, D.: The declarative past and imperative future. In: Banieqbal, B., Pnueli, A., Barringer, H. (eds.) Temporal Logic in Specification. LNCS, vol.\u00a0398, pp. 407\u2013448. Springer, Heidelberg (1989)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Pnueli, A., Shelah, S., Stavi, J.: On the temporal analysis of fairness. In: Proc. 7th ACM Symp. on Principles of Programming Languages, January 1980, pp. 163\u2013173 (1980)","DOI":"10.1145\/567446.567462"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Laroussinie, F., Markey, N., Schnoebelen, P.: Temporal logic with forgettable past. In: Proc. 17th IEEE Symp. Logic in Computer Science (LICS 2002), pp. 383\u2013392 (2002)","DOI":"10.1109\/LICS.2002.1029846"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Laroussinie, F., Schnoebelen, P.: A hierarchy of temporal logics with past. In: Proc. 11th Symp. on Theoretical Aspects of Computer Science, Caen (February 1994)","DOI":"10.1007\/3-540-57785-8_130"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Moszkowski, B.: A temporal logic for multi-level reasoning about hardware. IEEE Computer, 10\u201319 (February 1985)","DOI":"10.1109\/MC.1985.1662795"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proc. 16th ACM Symp. on Principles of Programming Languages, Austin, January 1989, pp. 179\u2013190 (1989)","DOI":"10.1145\/75277.75293"},{"key":"15_CR13","unstructured":"Sistla, A.: Theoretical issues in the design of distributed and concurrent systems. PhD thesis, Harvard University, Cambridge, MA (1983)"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(87)90008-9","volume":"49","author":"A. Sistla","year":"1987","unstructured":"Sistla, A., Vardi, M., Wolper, P.: The complementation problem for B\u00fcchi automata with applications to temporal logic. Theoretical Computer Science\u00a049, 217\u2013237 (1987)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560548_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:50:24Z","timestamp":1605642624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560548_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291053","9783540320302"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11560548_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}