{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:36Z","timestamp":1725455916039},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626169"},{"type":"electronic","value":"9783540683421"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023458","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T02:06:33Z","timestamp":1132365993000},"page":"177-188","source":"Crossref","is-referenced-by-count":17,"title":["Efficient scaling-invariant checking of timed bisimulation"],"prefix":"10.1007","author":[{"given":"Carsten","family":"Weise","sequence":"first","affiliation":[]},{"given":"Dirk","family":"Lenzkes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, D. Dill. Modelchecking in dense real-time. Information and Computation, 104(1):2\u201334, May 1993.","journal-title":"Information and Computation"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur,C. Courcoubetis, N. Halbwachs, T.A. Henzinger, et al. The algorithmic analysis of hybrid systems. TCS, February 1995.","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T.A. Henzinger. The observational power of clocks. CONCUR 94, LNCS 836, Springer 1994, pp. 162\u2013177.","DOI":"10.1007\/978-3-540-48654-1_16"},{"issue":"No.2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur, D.L. Dill. A Theory of Timed Automata. in: Theoretical Computer Science Vol. 126, No. 2, April 1994, pp. 183\u2013236.","journal-title":"Theoretical Computer Science"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, M.Y. Vardi. Parametric real-time reasoning. Proc. 25th STOC, ACM Press 1993, pp. 592\u2013601.","DOI":"10.1145\/167088.167242"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"K. \u010cer\u0101ns. Decidability of Bisimulation Equivalences for Parallel Timer Processes. in: Proc. CAV '92, LNCS 663, pp. 302\u2013315.","DOI":"10.1007\/3-540-56496-9_24"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"K. \u010cer\u0101ns, J.C. Godsken, K.G. Larsen. Timed Modal Specification \u2014 Theory and Tools. in: Proc. CAV '93, LNCS 697, pp. 253\u2013267.","DOI":"10.1007\/3-540-56922-7_21"},{"key":"15_CR8","first-page":"197","volume-title":"LNCS 407","author":"D.L. Dill","year":"1989","unstructured":"D.L. Dill. Timing Assumptions and Verification of Finite-State Concurrent Systems. in: LNCS 407, Springer Berlin 1989, pp. 197\u2013212."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, O. Kupferman, M.Y. Vardi. A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. in: Proc. CONCUR 96.","DOI":"10.1007\/3-540-61604-7_73"},{"key":"15_CR10","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine. Symbolic Model Checking for Real-time Systems. LICS '92, pp. 1\u201313."},{"key":"15_CR11","first-page":"210","volume-title":"LNCS 697","author":"D. Lee","year":"1993","unstructured":"D. Lee, M. Yannakakis. An efficient algorithm or minimizing real-time transition systems. CAV '93, LNCS 697, Springer Berlin 1993, pp. 210\u2013223."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"K.G. Larsen, B. Steffen, C. Weise. Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. in: LNCS 1066, Springer 1996.","DOI":"10.1007\/BFb0020979"},{"key":"15_CR13","first-page":"397","volume":"600","author":"N. Lynch","year":"1991","unstructured":"N. Lynch, F. Vaandrager. Forward and Backward Simulations for Timing-Based Systems. in: REX Workshop, LNCS 600, pp. 397\u2013446, 1991.","journal-title":"LNCS"},{"key":"15_CR14","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF01178579","volume":"30","author":"X. Nicollin","year":"1993","unstructured":"X. Nicollin, J. Sifakis, S. Yovine. From ATP to Timed Graphs and Hybrid Systems. Acta Informatica 30, 1993, S. 181\u2013202.","journal-title":"Acta Informatica"},{"key":"15_CR16","unstructured":"C. Weise, D. Lenzkes. A Fast Decision Algorithm for Timed Refinement. AIB 96-11, Technical Report University of Tech. Aachen, 1996."}],"container-title":["Lecture Notes in Computer Science","STACS 97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023458","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:32:01Z","timestamp":1586554321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023458"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626169","9783540683421"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0023458","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}