{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T12:52:05Z","timestamp":1698411125255},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,11,1]],"date-time":"1994-11-01T00:00:00Z","timestamp":783648000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1994,11]]},"DOI":"10.1007\/bf01088522","type":"journal-article","created":{"date-parts":[[2005,2,7]],"date-time":"2005-02-07T02:50:47Z","timestamp":1107744647000},"page":"275-289","source":"Crossref","is-referenced-by-count":2,"title":["Automated verification of responsive protocols modeled by extended finite state machines"],"prefix":"10.1007","volume":"7","author":[{"given":"Yoshiaki","family":"Kakuda","sequence":"first","affiliation":[]},{"given":"Tohru","family":"Kikuno","sequence":"additional","affiliation":[]},{"given":"Kenichi","family":"Kawashima","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"9","key":"CR1","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1109\/12.88464","volume":"40","author":"M. G. Gouda","year":"1991","unstructured":"M. G. Gouda and N. J. Multari. Stabilizing communicatiom protocols.IEEE Trans. on Computers, 40(9):448?458, 1991.","journal-title":"IEEE Trans. on Computers"},{"key":"CR2","unstructured":"Y. Kakuda and T. Kikuno. Verification of responsiveness for communication protocols. IEICE Technical Report FTS91-57 (Dec. 1991)."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Y. Kakuda and T. Kikuno. Issues in responsive protocols design.Proc. of 2nd Int'l. Workshop on Responsive Computer Systems, (Oct. 1992),Dependable Computing and Fault-Tolerant Systems, 7:17?26, Springer-Verlag, 1993.","DOI":"10.1007\/978-3-7091-9288-7_2"},{"key":"CR4","unstructured":"Y. Kakuda, T. Kikuno, M. Malek, and H. Saito. A unified approach to design of responsive protocols.Proc. the 1992 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, pages 8?15, July 1992."},{"key":"CR5","unstructured":"K. Kawashima, H. Yukitomo, Y. Kakuda, and T. Kikuno. Verification of real-time property for responsive protocols. IEICE Fall Conference, D-117 (Sept. 1992) in Japanese."},{"key":"CR6","first-page":"9","volume-title":"Proc. 16th Symp. on Microprocessing and Microprogramming","author":"M. Malek","year":"1990","unstructured":"M. Malek. Responsive systems (A challenge for the nineties).Proc. 16th Symp. on Microprocessing and Microprogramming, Keynote Address, Amsterdam, The Netherlands, North-Holland, Microprocessing and Microprogramming 30, pages 9?16, August 1990."},{"key":"CR7","volume-title":"Toward a theory for self-stabilizing protocols","author":"N. J. Multari","year":"1989","unstructured":"N. J. Multari. Toward a theory for self-stabilizing protocols. Ph.D. Dissertation, University of Texas, Austin (1989)."}],"container-title":["Real-time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088522.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088522\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088522","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T01:56:03Z","timestamp":1556589363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088522"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,11]]},"references-count":7,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,11]]}},"alternative-id":["BF01088522"],"URL":"https:\/\/doi.org\/10.1007\/bf01088522","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,11]]}}}