{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:48Z","timestamp":1725664788822},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:09:12Z","timestamp":1330294152000},"page":"188-207","source":"Crossref","is-referenced-by-count":8,"title":["Sampling semantics of Duration Calculus"],"prefix":"10.1007","author":[{"given":"Dang","family":"Hung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phan Hong","family":"Giang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"11_CR1","first-page":"366","volume":"736","author":"P. J. Antsaklis","year":"1993","unstructured":"P. J. Antsaklis, J. A. Stiver, M. Lemmon, Hybrid system modeling and autonomous control systems, LNCS 736, 1993, pp. 366\u2013392.","journal-title":"LNCS"},{"key":"11_CR2","first-page":"193","volume":"863","author":"A. Bouajjani","year":"1994","unstructured":"A. Bouajjani, R. Echahed and R. Robbana, Verifying Invariance Properties of Timed Systems with Duration Variables, Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, 1994, pp. 193\u2013210.","journal-title":"LNCS"},{"key":"11_CR3","first-page":"170","volume":"863","author":"D. Bosscher","year":"1994","unstructured":"D. Bosscher et al. Verification of an Audio Control Protocol, LNCS 863, 1994, pp. 170\u2013192.","journal-title":"LNCS"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Caochen","year":"1992","unstructured":"Z. Caochen, C. A. R. Hoare, A. P. Ravn, A calculus of durations, Information Processing Letters, 40, 1992, pp. 269\u2013276.","journal-title":"Information Processing Letters"},{"key":"11_CR5","first-page":"36","volume":"736","author":"Z. Chaochen","year":"1993","unstructured":"Z. Chaochen, A. P. Ravn, M. R. Hansen, Extended Duration Calculus for Hybrid Real-time Systems, LNCS 736, 1993, pp. 36\u201359.","journal-title":"LNCS"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Z. Chaochen, M.R. Hansen and P. Sestoft, Decidability and Undecidability Results for Duration Calculus, In STACS'93, P. Enjalbert, A. Finkel and K.W. Wagner (eds), LNCS 665, Springer-Verlag 1993, pp. 58\u201368.","DOI":"10.1007\/3-540-56503-5_8"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"M.R. Hansen, Model-Checking Discrete Duration Calculus Formal Aspect of Computing, 1994, pp. 826\u2013845.","DOI":"10.1007\/BF01213605"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"D.V. Hung and P.H. Giang, A Sampling Semantics of Duration Calculus, UNU\/IIST report, No. 50, 1996.","DOI":"10.1007\/3-540-61648-9_41"},{"key":"11_CR9","unstructured":"D.V. Hung and W. Ji, On the design of hybrid control systems using I\/O automata, UNU\/IIST report, No. 34, 1994."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"T. Henzinger, Z. Manna, and A. Pnueli, What Good are Digital Clocks?, Springer-Verlag, LNCS 623, 1992.","DOI":"10.1007\/3-540-55719-9_103"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/BF01211081","volume":"6","author":"J. S. Moore","year":"1994","unstructured":"J. S. Moore, A formal model of asynchronous communication and its use in mechanically verifying a Biphase Mark Protocol, Formal Aspects of Computing, 6, 1994, pp. 60\u201391.","journal-title":"Formal Aspects of Computing"},{"issue":"No.2","key":"11_CR12","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"B. Moszkowski, A temporal Logic for Multilevel Reasoning about Hardware, IEEE Computer, Vol. 18, No. 2, 1985, pp. 10\u201319.","journal-title":"IEEE Computer"},{"key":"11_CR13","first-page":"317","volume":"736","author":"A. Nerode","year":"1993","unstructured":"A. Nerode, W. Kohn, Models for hybrid systems: automata, topologies, controllability, observability, LNCS 736, 1993, pp. 317\u2013356.","journal-title":"LNCS"},{"key":"11_CR14","first-page":"149","volume":"736","author":"X. Nicollin","year":"1993","unstructured":"X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, An approach to the description and analysis of hybrid systems, LNCS 736, 1993, pp. 149\u2013178.","journal-title":"LNCS"},{"key":"11_CR15","first-page":"77","volume":"863","author":"A. Pnueli","year":"1994","unstructured":"A. Pnueli, Development of Hybrid Systems, Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, 1994, pp. 77\u20138.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:01Z","timestamp":1605647341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}