{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:24:43Z","timestamp":1747578283863},"reference-count":16,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"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":[[1992,3]]},"DOI":"10.1016\/0140-3664(92)90132-x","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T22:34:07Z","timestamp":1060295647000},"page":"129-134","source":"Crossref","is-referenced-by-count":14,"title":["Practical methods for the formal validation of SDL specifications"],"prefix":"10.1016","volume":"15","author":[{"given":"Gerard J","family":"Holzmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"No 2","key":"10.1016\/0140-3664(92)90132-X_BIB1","first-page":"65","article-title":"Special issue on the CCITT language SDL","volume":"Vol 13","year":"1987","journal-title":"Comput. Networks & ISDN Syst."},{"key":"10.1016\/0140-3664(92)90132-X_BIB2","series-title":"Proc. IEEE Global Telecomm. Conf.","article-title":"Implementation of SDL\/PR in a digital switching system","author":"Jilek","year":"1984"},{"key":"10.1016\/0140-3664(92)90132-X_BIB3","series-title":"Proc. Nat. Commun. Forum","article-title":"Programming call processing directly in SDL","author":"Lippold","year":"1985"},{"key":"10.1016\/0140-3664(92)90132-X_BIB4","series-title":"Proc. 6th Int. Conf. on Software Eng. for Telecomm. Switching Systems","article-title":"SDL in 5ESS switching system development","author":"Bennett","year":"1986"},{"key":"10.1016\/0140-3664(92)90132-X_BIB5","series-title":"Telecommunications Systems Engineering using SDL","author":"Saracco","year":"1989"},{"key":"10.1016\/0140-3664(92)90132-X_BIB6","series-title":"Proc. 9th IFIP WG 6.1 Int. Workshop on Protocol Specification, Testing and Verification","first-page":"317","article-title":"Validating SDL specifications: an experiment","author":"Holzmann","year":"1989"},{"issue":"No 2","key":"10.1016\/0140-3664(92)90132-X_BIB7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1002\/spe.4380180203","article-title":"An improved protocol reachability analysis technique","volume":"Vol 18","author":"Holzmann","year":"1988","journal-title":"Softw., Pract. & Exper."},{"key":"10.1016\/0140-3664(92)90132-X_BIB8","article-title":"Tools and Rules for the Practicing Verifier","author":"Manna","year":"1990","journal-title":"Stanford University, Report STAN-CS-90-1321"},{"issue":"No 1","key":"10.1016\/0140-3664(92)90132-X_BIB9","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1002\/j.1538-7305.1990.tb00101.x","article-title":"Algorithms for automated protocol validation","volume":"Vol 69","author":"Holzmann","year":"1990","journal-title":"AT&T Tech. J."},{"key":"10.1016\/0140-3664(92)90132-X_BIB10","series-title":"Computers and Intractability: a Guide to the Theory of NP-completeness","author":"Garey","year":"1979"},{"key":"10.1016\/0140-3664(92)90132-X_BIB11","article-title":"A calculus for communicating systems","volume":"Vol 92","author":"Milner","year":"1980"},{"issue":"No 8","key":"10.1016\/0140-3664(92)90132-X_BIB12","doi-asserted-by":"crossref","first-page":"730","DOI":"10.1109\/TC.1982.1676079","article-title":"A theory for protocol validation","volume":"Vol C-31","author":"Holzmann","year":"1982","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0140-3664(92)90132-X_BIB13","series-title":"The Formal Description Technique Lotos","author":"Eijk","year":"1989"},{"key":"10.1016\/0140-3664(92)90132-X_BIB14","series-title":"Design and Validation of Computer Protocols","author":"Holzmann","year":"1991"},{"key":"10.1016\/0140-3664(92)90132-X_BIB15","series-title":"Proc. 7th IFIP WG 6.1 Int. Workshop on Protocol Specification, Testing and Verification","first-page":"137","article-title":"On limits and possibilities of automated protocol analysis","author":"Holzmann","year":"1987"},{"key":"10.1016\/0140-3664(92)90132-X_BIB16","series-title":"11th IFIP WG 6.1 Int. Workshop on Protocol Specification, Testing and Verification","article-title":"Tutorial: design and validation of computer protocols","author":"Holzmann","year":"1991"}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:014036649290132X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:014036649290132X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T08:51:44Z","timestamp":1552639904000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/014036649290132X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["014036649290132X"],"URL":"https:\/\/doi.org\/10.1016\/0140-3664(92)90132-x","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}