{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T05:19:25Z","timestamp":1672291165046},"reference-count":0,"publisher":"Association for Computing Machinery (ACM)","issue":"2","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGCOMM Comput. Commun. Rev."],"published-print":{"date-parts":[[1991,4]]},"DOI":"10.1145\/122419.1024051","type":"journal-article","created":{"date-parts":[[2004,10,12]],"date-time":"2004-10-12T13:44:32Z","timestamp":1097588672000},"page":"14","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991)"],"prefix":"10.1145","volume":"21","author":[{"given":"Lars-Ake","family":"Fredlund","sequence":"first","affiliation":[{"name":"Swedish Institute of Computer Science (SICS)"}]}],"member":"320","published-online":{"date-parts":[[1991,4]]},"container-title":["ACM SIGCOMM Computer Communication Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/122419.1024051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T21:19:53Z","timestamp":1672262393000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/122419.1024051"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,4]]},"references-count":0,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,4]]}},"alternative-id":["10.1145\/122419.1024051"],"URL":"https:\/\/doi.org\/10.1145\/122419.1024051","relation":{},"ISSN":["0146-4833"],"issn-type":[{"value":"0146-4833","type":"print"}],"subject":[],"published":{"date-parts":[[1991,4]]},"assertion":[{"value":"1991-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}