{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:22Z","timestamp":1725512002380},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714927"},{"type":"electronic","value":"9783540714934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71493-4_59","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T17:33:57Z","timestamp":1180546437000},"page":"676-679","source":"Crossref","is-referenced-by-count":4,"title":["On Bicontinuous Bisimulation and the Preservation of Stability"],"prefix":"10.1007","author":[{"given":"P. J. L.","family":"Cuijpers","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"59_CR1","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.tcs.2005.03.045","volume":"342","author":"E. Haghverdi","year":"2005","unstructured":"Haghverdi, E., Tabuada, P., Pappas, G.J.: Bisimulation relations for dynamical, control, and hybrid systems. Theoretical Computer Science\u00a0342, 229\u2013261 (2005)","journal-title":"Theoretical Computer Science"},{"key":"59_CR2","unstructured":"Cuijpers, P.: Hybrid Process Algebra. PhD thesis, Technische Universiteit Eindhoven (TU\/e), Eindhoven, Netherlands (2004)"},{"key":"59_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/3-540-45351-2_35","volume-title":"Hybrid Systems: Computation and Control","author":"T. Moor","year":"2001","unstructured":"Moor, T., Davoren, J.: Robust controller systhesis for hybrid systems using modal logic. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 433\u2013446. Springer, Heidelberg (2001)"},{"key":"59_CR4","unstructured":"Davoren, J.: Topological semantics and bisimulations for intuitionistic modal logics and their classical companion logics. Manuscript (2006)"},{"key":"59_CR5","doi-asserted-by":"crossref","unstructured":"Fainekos, G., Pappas, G.J.: Robustness of temporal logic specifications. In: Formal Approaches to Testing and Runtime Verification, Seatle, WA (August 2006)","DOI":"10.1007\/11940197_12"},{"key":"59_CR6","unstructured":"Akin, E.: The General Topology of Dynamical Systems. Graduate Studies in Mathematics, vol.\u00a01. American Mathematical Society (1993)"},{"key":"59_CR7","volume-title":"Handbook of Process Algebra","author":"J.A. Bergstra","year":"2001","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A.: Handbook of Process Algebra. Elsevier Science B.V., Amsterdam (2001)"},{"key":"59_CR8","volume-title":"Topology","author":"J. Munkres","year":"2000","unstructured":"Munkres, J.: Topology, 2nd edn. Prentice-Hall, Englewood Cliffs (2000)","edition":"2"},{"key":"59_CR9","volume-title":"Topological Spaces: Including a treatment of multi-valued functions, vectors spaces and convexity","author":"C. Berge","year":"1963","unstructured":"Berge, C.: Topological Spaces: Including a treatment of multi-valued functions, vectors spaces and convexity. Oliver and Boyd Ltd., London (1963)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71493-4_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:21:35Z","timestamp":1605745295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71493-4_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540714927","9783540714934"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71493-4_59","relation":{},"subject":[]}}