{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:47:15Z","timestamp":1730198835061,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1109\/ase.2002.1115017","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"page":"227-230","source":"Crossref","is-referenced-by-count":2,"title":["Automatic verification of any number of concurrent, communicating processes"],"prefix":"10.1109","author":[{"given":"M.","family":"Calder","sequence":"first","affiliation":[{"name":"Dept. of Comput. Sci., Glasgow Univ., UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Miller","sequence":"additional","affiliation":[{"name":"Dept. of Comput. Sci., Glasgow Univ., UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"2002","article-title":"Feature validation for any number of processes","author":"calder","year":"2002"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45139-0_9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60218-6_30"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/72981.72998"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1023\/A:1008723125149","article-title":"Verifying systems with replicated components in mur Ø","volume":"14","author":"norris","year":"1999","journal-title":"Formal Methods in System Design"},{"journal-title":"Feature Interactions in Telecommunications and Software Systems","year":"2000","author":"calder","key":"ref2"},{"key":"ref9","first-page":"179","article-title":"Parameterized verification of the flash cache coherence protocol by compositional model checking","volume":"2144","author":"mcmillan","year":"2001","journal-title":"CHARME'2001"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(86)90071-2"}],"event":{"name":"Proceedings ASE 2002. 17th IEEE International Conference on Automated Software Engineering","start":{"date-parts":[[2002,9,23]]},"location":"Edinburgh, UK","end":{"date-parts":[[2002,9,27]]}},"container-title":["Proceedings 17th IEEE International Conference on Automated Software Engineering,"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8183\/24593\/01115017.pdf?arnumber=1115017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T17:30:28Z","timestamp":1714411828000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1115017\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/ase.2002.1115017","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}