{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:51Z","timestamp":1725664611508},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63010-4_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:16Z","timestamp":1330279096000},"page":"169-183","source":"Crossref","is-referenced-by-count":0,"title":["Formal specification and verification method of concurrent and distributed systems by restricted timed automata"],"prefix":"10.1007","author":[{"given":"Satoshi","family":"Yamane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur R., Dill D.: A Theory of timed automata\u201d, TCS 126,pp.183\u2013235(1994)","journal-title":"TCS"},{"key":"12_CR2","first-page":"526","volume":"600","author":"X. Nicollin","year":"1992","unstructured":"Nicollin X., Sifakis J.: \u201dAn overview and synthesis on timed process algebra\u201d, LNCS 600,pp.526\u2013548(1992)","journal-title":"LNCS"},{"issue":"No.3","key":"12_CR3","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu B., Diaz M.: \u201dModeling and verification of time dependent systems using timed Petri Nets\u201d, IEEE Trans. on SE,Vol.17,No.3,pp.259\u2013273(1991)","journal-title":"IEEE Trans. on SE"},{"key":"12_CR4","first-page":"74","volume":"600","author":"R. Alur","year":"1992","unstructured":"Alur R., Henzinger T.: \u201dLogics and Models of Real Time:A Survey\u201d, LNCS 600,pp.74\u2013106(1992)","journal-title":"LNCS"},{"key":"12_CR5","first-page":"302","volume":"663","author":"K. Cerans","year":"1992","unstructured":"Cerans K.: \u201dDecidability of bisimulation equivalences for parallel timer processes\u201d, LNCS 663,pp.302\u2013315(1992)","journal-title":"LNCS"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/0167-6423(87)90036-0","volume":"8","author":"E.A. Emerson","year":"1987","unstructured":"Emerson E.A., Lei C.: \u201dModalities for model checking:branching time logic strikes back\u201d, Science of computer programming 8,pp.275\u2013306(1987)","journal-title":"Science of computer programming"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Kurshan R.P.: Computer-aided verification of coordinating processes: The automata-Theoretic Approach, Princeton University Press(1994)","DOI":"10.1515\/9781400864041"},{"key":"12_CR8","unstructured":"Milner R.: \u201dCommunication and Concurrency\u201d, Prentice Hall, P.260(1989)"},{"issue":"2","key":"12_CR9","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"Tarjan R.: \u201dDepth-first search and linear graph algorithms\u201d, SIAM Journal of Computing 1 (2),pp.146\u2013160(1972)","journal-title":"SIAM Journal of Computing"},{"key":"12_CR10","first-page":"197","volume":"407","author":"D. Dill","year":"1989","unstructured":"Dill D.: \u201dTiming assumptions and verification of finite-state concurrent systems\u201d, LNCS 407,pp.197\u2013212(1989)","journal-title":"LNCS"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Alur R., Courcoubetis C., Dill D., Halbwachs N., Wong-Toi H.: \u201dAn Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness\u201d, Proc. Real-Time Systems Symposium,pp.157\u2013166(1992)","DOI":"10.1109\/REAL.1992.242667"},{"key":"12_CR12","unstructured":"Cormen T.H., Leiserson C.E., Rivest R.L.: Introduction to algorithms, P.1028,MIT PRESS(1989)"},{"key":"12_CR13","first-page":"468","volume":"818","author":"T. G. Rokicki","year":"1994","unstructured":"Rokicki T. G., Myers C.J.: \u201dAutomatic verification of timed circuits\u201d, LNCS 818,pp.468\u2013480(1994)","journal-title":"LNCS"},{"issue":"No.5","key":"12_CR14","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/362946.362970","volume":"12","author":"K. Bartlett","year":"1969","unstructured":"Bartlett K., Scantlebury R., Wilkinison P.: \u201dA note on reliable full-duplex transmissions over half duplex lines\u201d, Communications of the ACM, Vol.12, No.5, pp.260\u2013261,265(1969)","journal-title":"Communications of the ACM"},{"key":"12_CR15","first-page":"409","volume":"939","author":"D. Dill","year":"1995","unstructured":"Dill D., Wong-Toi H.: \u201dVerification of real-time systems by successive over and under approximation\u201d, LNCS 939,pp.409\u2013422(1995)","journal-title":"LNCS"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"McMillan K.L.: Symbolic Model Checking,Kluwer, P.194(1993)","DOI":"10.1007\/978-1-4615-3190-6"}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T10:37:21Z","timestamp":1561372641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}