{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T19:00:24Z","timestamp":1648753224317},"reference-count":24,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1996,5,1]],"date-time":"1996-05-01T00:00:00Z","timestamp":830908800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Communications"],"published-print":{"date-parts":[[1996,5]]},"DOI":"10.1016\/s0140-3664(96)01051-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:53:54Z","timestamp":1027608834000},"page":"407-425","source":"Crossref","is-referenced-by-count":2,"title":["Probabilistic fuzzy timed protocol verification"],"prefix":"10.1016","volume":"19","author":[{"given":"Chung-Ming","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jenq-Muh","family":"Hsu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiun-Wei","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0140-3664(96)01051-1_BIB1","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/322374.322380","article-title":"On communicating finite-state machines","volume":"30","author":"Brand","year":"1983","journal-title":"J. ACM"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB2","first-page":"419","article-title":"Modeling and analysis of communication and cooperation protocols using Petri net based models","volume":"6","author":"Diaz","year":"1982","journal-title":"Computer Networks"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB3","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0065-2458(08)60533-1","article-title":"Protocol engineering","volume":"29","author":"Liu","year":"1989","journal-title":"Advances in Computers"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB4","article-title":"Automata for modeling real-time systems","volume":"443","author":"Alur","year":"1990"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB5","series-title":"Proc. of Formal Description Techniques III (Forte 90)","first-page":"239","article-title":"Protocol analysis using a timed version of SDL","author":"Bause","year":"1990"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB6","series-title":"Proc. of Protocol Specification, Testing and Verification XIV","first-page":"177","article-title":"On specifying services and synthesizing protocols for real-time applications","author":"Khoumsi","year":"1994"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB7","series-title":"PhD Thesis","article-title":"An integrated approach to verification and performance analysis of communication protocols","author":"Lin","year":"1988"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB8","series-title":"Proc. of Protocol Specification, Testing, and Verification VIII","first-page":"125","article-title":"An integrated approach to verification and performance analysis of communication protocols","author":"Lin","year":"1988"},{"issue":"2","key":"10.1016\/S0140-3664(96)01051-1_BIB9","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1109\/71.80145","article-title":"Deciding properties of timed transitions models","volume":"1","author":"Ostroff","year":"1990","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB10","series-title":"Proc. of Protocol Specification, Testing, and Verification IV","first-page":"215","article-title":"Specification and verification of time-dependent communication protocols","author":"Shankar","year":"1985"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB11","first-page":"172","article-title":"Reasoning assertionally about real-time systems","volume":"82","author":"Shanker","year":"1994"},{"issue":"9","key":"10.1016\/S0140-3664(96)01051-1_BIB12","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1109\/32.159840","article-title":"Communicating real-time state machines","volume":"18","author":"Shaw","year":"1992","journal-title":"IEEE Trans. Software Engineering"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB13","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","article-title":"An introduction to Estelle: a specification language for distributed-systems","volume":"14","author":"Budkowski","year":"1987","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB14","year":"1987","journal-title":"ISODIS 9074"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB15","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0169-7552(89)90078-0","article-title":"The CCITT-specification and description language SDL","volume":"16","author":"Belina","year":"1988","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB16","year":"1988","journal-title":"AP IX \u2014 35"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB17","series-title":"PhD Thesis","article-title":"Fuzzy time and its applications","author":"Liao","year":"1990"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB18","doi-asserted-by":"crossref","first-page":"1183","DOI":"10.1109\/26.153362","article-title":"A procedure for probabilistic protocol verification and evaluation","volume":"40","author":"Dimitrijevi\u0107","year":"1992","journal-title":"IEEE Trans. Comm."},{"key":"10.1016\/S0140-3664(96)01051-1_BIB19","series-title":"Proc. Protocol Specification, Testing, and Verification VII","first-page":"307","article-title":"Probabilistic verification of communication protocols","author":"Maxemchuk","year":"1987"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB20","series-title":"Proc. of Protocol Specification, Testing, and Verification VI","first-page":"233","article-title":"Protocol validation by random state exploration","author":"West","year":"1987"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB21","series-title":"Technical Report IAM-91-012","article-title":"OSI formal specification case study: the INRES protocol and service","author":"Hogrefe","year":"1991"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB22","series-title":"Proc. of Protocol Specification, Testing and Verification VIII","first-page":"171","article-title":"Estelle,\u2217: a powerful dialect of Estelle for OSI protocol description","author":"Courtiat","year":"1988"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB23","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0169-7552(92)90125-A","article-title":"ESTIM: an integrated environment for the simulation and verification of OSI protocols specified in Estelle\u2217","volume":"25","author":"Courtiat","year":"1993","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S0140-3664(96)01051-1_BIB24","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1016\/0169-7552(93)90048-9","article-title":"VESAR: a pragmatic approach to formal specification and verification","volume":"25","author":"Algayers","year":"1993","journal-title":"Computer Networks and ISDN Systems"}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366496010511?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366496010511?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T21:00:56Z","timestamp":1556398856000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0140366496010511"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,5]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1996,5]]}},"alternative-id":["S0140366496010511"],"URL":"https:\/\/doi.org\/10.1016\/s0140-3664(96)01051-1","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[1996,5]]}}}