{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T23:51:48Z","timestamp":1649029908817},"reference-count":17,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":6786,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Syst. Comp. Jpn."],"published-print":{"date-parts":[[1997,2]]},"DOI":"10.1002\/(sici)1520-684x(199702)28:2<11::aid-scj2>3.0.co;2-u","type":"journal-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T09:19:00Z","timestamp":1100251140000},"page":"11-20","source":"Crossref","is-referenced-by-count":0,"title":["A method for the specification and verification of distributed systems by a timed automaton"],"prefix":"10.1002","volume":"28","author":[{"given":"Satoshi","family":"Yamane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB1","first-page":"660","volume-title":"Real-Time Systems, Abstraction, Languages and Design Methodologies","author":"Kavi","year":"1992"},{"key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"TCS"},{"key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB3","first-page":"526","article-title":"An overview and synthesis of timed process algebra","volume":"600","author":"Nicollin","year":"1992","journal-title":"LNCS"},{"issue":"3","key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB4","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","article-title":"Modeling and verification of time dependent systems using timed Petrinets","volume":"17","author":"Berthomieu","year":"1991","journal-title":"IEEE Trans. SE"},{"key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB5","first-page":"74","article-title":"Logics and models of real time: A survey","volume":"600","author":"Alur","year":"1992","journal-title":"LNCS"},{"key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB6","first-page":"302","article-title":"Decidability of bisimulation equivalences for parallel timer processes","volume":"663","author":"Cerans","year":"1992","journal-title":"LNCS"},{"issue":"5","key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/scj.4690270501","article-title":"Proposal of hybrid verification method in asynchronous real-time software including timing constraints specification","volume":"27","author":"Yamane","year":"1996","journal-title":"Syst. Comput. Jpn."},{"key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB8","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/0167-6423(87)90036-0","article-title":"Modalities for model checking: Branching time logic strikes back","volume":"8","author":"Emerson","year":"1987","journal-title":"Sci. Comput. Programming"},{"key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB9","volume-title":"Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach","author":"Kurshan","year":"1994"},{"key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB10","first-page":"260","volume-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"issue":"2","key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB11","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","article-title":"Depth-first search and linear graph algorithms","volume":"1","author":"Tarjan","year":"1972","journal-title":"SIAM J. Comput."},{"key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB12","first-page":"197","article-title":"Timing assumptions and verification of finite-state concurrent systems","volume":"407","author":"Dill","year":"1989","journal-title":"LNCS"},{"key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB13","doi-asserted-by":"crossref","unstructured":"R. Alur et al. An Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness. Proceedings of the Real-Time Systems Symposium, pp. 157\u00e2\u0080\u0093166 (1992).","DOI":"10.1109\/REAL.1992.242667"},{"key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB14","first-page":"1028","volume-title":"Introduction to Algorithms","author":"Cormen","year":"1989"},{"key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB15","first-page":"468","article-title":"Automatic verification of timed circuits","volume":"818","author":"Rokicki","year":"1994","journal-title":"LNCS"},{"issue":"5","key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB16","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/362946.362970","article-title":"A note on reliable full-duplex transmissions over half duplex lines","volume":"12","author":"Bartlett","year":"1969","journal-title":"Commun. ACM"},{"key":"10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U-BIB17","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"McMillan","year":"1993"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F(SICI)1520-684X(199702)28:2%3C11::AID-SCJ2%3E3.0.CO;2-U","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/(SICI)1520-684X(199702)28:2%3C11::AID-SCJ2%3E3.0.CO;2-U","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T08:46:48Z","timestamp":1625129208000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/(SICI)1520-684X(199702)28:2<11::AID-SCJ2>3.0.CO;2-U"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,2]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,2]]}},"URL":"https:\/\/doi.org\/10.1002\/(sici)1520-684x(199702)28:2<11::aid-scj2>3.0.co;2-u","relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,2]]}}}