{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T09:31:45Z","timestamp":1648719105634},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,4,1]],"date-time":"1993-04-01T00:00:00Z","timestamp":733622400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Compt. Sci. & Technol."],"published-print":{"date-parts":[[1993,4]]},"DOI":"10.1007\/bf02939482","type":"journal-article","created":{"date-parts":[[2008,9,3]],"date-time":"2008-09-03T05:09:40Z","timestamp":1220418580000},"page":"188-192","source":"Crossref","is-referenced-by-count":0,"title":["A knowledge-based specification technique for protocol development"],"prefix":"10.1007","volume":"8","author":[{"given":"Zhang","family":"Yaoxue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shi","family":"Meilin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norio","family":"Shiratori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"BF02939482_CR1","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","volume":"28","author":"P. Zafiropulo","year":"1980","unstructured":"P. Zafiropuloet al., Towards analyzing and synthesizing protocols.IEEE Trans. Comm., 1980, 28 (4), 651\u2013661.","journal-title":"IEEE Trans. Comm."},{"issue":"3","key":"BF02939482_CR2","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1109\/32.4659","volume":"14","author":"Y. X. Zhang","year":"1988","unstructured":"Y. X. Zhanget al., An interactive protocol synthesis algorithm using a global state transition graphIEEE Trans. Software Eng., 1988, 14 (3), 394\u2013404.","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"BF02939482_CR3","doi-asserted-by":"crossref","first-page":"874","DOI":"10.1109\/49.639","volume":"6","author":"Y. X. Zhang","year":"1988","unstructured":"Y. X. Zhanget al., A knowledge based system for protocol synthesis (KSPS).IEEE J. Select Areas Comm., 1988, 6 (5), 874\u2013883.","journal-title":"IEEE J. Select Areas Comm."},{"key":"BF02939482_CR4","unstructured":"Y. X. Zhanget al., Construction of a protocol synthesis environment and its implementation.IECIE of Japan Trans, on D\u2014I, 1989 (1)."},{"issue":"4","key":"BF02939482_CR5","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1109\/12.88467","volume":"40","author":"N. Shiratori","year":"1991","unstructured":"N. Shiratoriet al., A user friendly software environment for protocol synthesis.IEEE Trans. Computer, 1991, 40 (4), 477\u2013486.","journal-title":"IEEE Trans. Computer"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02939482.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02939482\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02939482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T22:59:11Z","timestamp":1558565951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02939482"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,4]]},"references-count":5,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,4]]}},"alternative-id":["BF02939482"],"URL":"https:\/\/doi.org\/10.1007\/bf02939482","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,4]]}}}