{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T13:19:25Z","timestamp":1778851165925,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540609223","type":"print"},{"value":"9783540497233","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60922-9_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:04:01Z","timestamp":1330290241000},"page":"255-268","source":"Crossref","is-referenced-by-count":13,"title":["On the power of non-observable actions in timed automata"],"prefix":"10.1007","author":[{"given":"B\u00e9atrice","family":"B\u00e9rard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Gastin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoine","family":"Petit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, Dill D., N. Halbwachs, and H. Wong-Toi. Minimization of timed transition systems. In Proceedings of CONCUR'92, LNCS 630, 1992.","DOI":"10.1007\/BFb0084802"},{"key":"22_CR2","first-page":"162","volume":"836","author":"R. Alur","year":"1994","unstructured":"R. Alur, C. Courcoubetis, and T.A. Henzinger. The observational power of clocks. In Proceedings of CONCUR'94, LNCS 836, pages 162\u2013177, 1994.","journal-title":"LNCS"},{"key":"22_CR3","first-page":"322","volume":"443","author":"R. Alur","year":"1990","unstructured":"R. Alur and D.L. Dill. Automata for modeling real-time systems. In Proceedings of ICALP'90, LNCS 443, pages 322\u2013335, 1990.","journal-title":"LNCS"},{"key":"22_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 and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"22_CR5","first-page":"1","volume":"818","author":"R. Alur","year":"1994","unstructured":"R. Alur, L. Fix, and T.A. Henzinger. A determinizable class of timed automata. In Proceedings of CAV'94, LNCS 818, pages 1\u201313, 1994.","journal-title":"Proceedings of CAV'94, LNCS"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzinger. Back to the future: towards a theory of timed regular languages. In Proceedings of FOCS'92, LNCS, pages 177\u2013186, 1992.","DOI":"10.1109\/SFCS.1992.267774"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0020-0190(95)00077-P","volume":"55","author":"B. B\u00e9rard","year":"1995","unstructured":"B. B\u00e9rard. Untiming timed languages. Information Processing Letters, 55:129\u2013135, 1995.","journal-title":"Information Processing Letters"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"B. B\u00e9rard, P. Gastin, and A. Petit. On the power of non observable actions in timed automata. Tech. Rep. 95.08, ENS de Cachan, LIFAC, 1995.","DOI":"10.1007\/3-540-60922-9_22"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"E. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal-logic specifications. ACM Trans. Programming Languages and Systems, 8:244\u2013263, 1986.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"22_CR10","first-page":"399","volume":"575","author":"C. Courcoubetis","year":"1991","unstructured":"C. Courcoubetis and M. Yannakakis. Minimum and maximum delay problems in real-time systems. In Proceedings of CAV'91, LNCS 575, pages 399\u2013409, 1991.","journal-title":"LNCS"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"T. Henzinger, Z. Manna, and A. Pnueli. Temporal proofs methodologies for realtime systems. In Proceedings of POPL '91, pages 353\u2013366, 1991.","DOI":"10.1145\/99583.99629"},{"issue":"2","key":"22_CR12","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T. Henzinger","year":"1994","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information und Computation, 111(2):193\u2013244, 1994.","journal-title":"Information und Computation"},{"key":"22_CR13","first-page":"335","volume":"944","author":"T.A. Henzinger","year":"1995","unstructured":"T.A. Henzinger, P.W. Kopke, and Wong Toi H., The expressive power of clocks. In Proceedings of ICALP'95, LNCS 944, pages 335\u2013346, 1995.","journal-title":"LNCS"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"N. Lynch and H. Attiya. Using mappings to prove timing properties. In Proceedings of PODC'90, pages 265\u2013280, 1990.","DOI":"10.1145\/93385.93428"},{"key":"22_CR15","first-page":"549","volume":"600","author":"X. Nicollin","year":"1991","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In Proceedings of REX workshop \u201dReal-time: theory in practice\u201d, LNCS 600, pages 549\u2013572, 1991.","journal-title":"LNCS"},{"key":"22_CR16","unstructured":"J. Ostroff. Temporal Logic of Real-time Systems. Research Studies Press, 1990."},{"key":"22_CR17","unstructured":"C. Ramchandani. Analysis of asynchronous concurrent systems by petri nets. Technical report, Massachusetts Institute of Technology, 1974."},{"key":"22_CR18","first-page":"133","volume-title":"Handbook of Theoretical Computer Science","author":"W. Thomas","year":"1990","unstructured":"W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 133\u2013191. Elsevier Science Publishers (North-Holland), 1990."},{"key":"22_CR19","unstructured":"M. Vardi. Verification of concurrent-programs \u2014 the automata-theoretic framework. In Proceedings of LICS'87, pages 167\u2013176, 1987."},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"P. Wolper, M. Vardi, and A.P. Sistla. Reasoning about infinite computation paths. In Proceedings of FOCS'83, pages 185\u2013194, 1983.","DOI":"10.1109\/SFCS.1983.51"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"H. Wong-Toi and G. Hoffmann. The control of dense real-time discrete event systems. In Proceedings of the 30th IEEE Conf. on Decision and Control, pages 1527\u20131528, 1991.","DOI":"10.1109\/CDC.1991.261658"}],"container-title":["Lecture Notes in Computer Science","STACS 96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60922-9_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:37Z","timestamp":1742598637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60922-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609223","9783540497233"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-60922-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}