{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:41Z","timestamp":1750308101161,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T00:00:00Z","timestamp":1131321600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,11,7]]},"DOI":"10.1145\/1101908.1101971","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T15:52:40Z","timestamp":1139241160000},"page":"364-367","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A uniform deductive approach for parameterized protocol safety"],"prefix":"10.1145","author":[{"given":"Jean-Francois","family":"Couchot","sequence":"first","affiliation":[{"name":"University of Franche-Comt\u00e9, Besan\u00e7on, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Giorgetti","sequence":"additional","affiliation":[{"name":"University of Franche-Comt\u00e9, Besan\u00e7on, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolai","family":"Kosmatov","sequence":"additional","affiliation":[{"name":"University of Franche-Comt\u00e9, Besan\u00e7on, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,11,7]]},"reference":[{"issue":"2","key":"e_1_3_2_1_1_1","first-page":"141","volume":"7","author":"Baukus K.","year":"2001","unstructured":"K. Baukus , Y. Lakhnech , and K. Stahl . Verification of Parameterized Protocols. Journal of Universal Computer Science , 7 ( 2 ): 141 -- 158 , 2001 .]] K. Baukus, Y. Lakhnech, and K. Stahl. Verification of Parameterized Protocols. Journal of Universal Computer Science, 7(2):141--158, 2001.]]","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_2_1","first-page":"269","volume-title":"AFADL'04","author":"Couchot J.-F.","year":"2004","unstructured":"J.-F. Couchot and A. Giorgetti . Analyse d'atteignabilit\u00e9 d\u00e9ductive. In Congr\u00e9s Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels , AFADL'04 , pages 269 -- 283 , 2004 .]] J.-F. Couchot and A. Giorgetti. Analyse d'atteignabilit\u00e9 d\u00e9ductive. In Congr\u00e9s Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels, AFADL'04, pages 269--283, 2004.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/647488.726955"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/647849.737078"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100049"},{"key":"e_1_3_2_1_6_1","first-page":"97","volume-title":"Proc. 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03)","volume":"2619","author":"Fontaine P.","year":"2003","unstructured":"P. Fontaine and E. P. Gribomont . Decidability of invariant validation for parameterized systems . In Proc. 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03) , volume 2619 of LNCS, pages 97 -- 112 . Springer , 2003 .]] P. Fontaine and E. P. Gribomont. Decidability of invariant validation for parameterized systems. In Proc. 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), volume 2619 of LNCS, pages 97--112. Springer, 2003.]]"},{"key":"e_1_3_2_1_7_1","first-page":"72","volume-title":"9th Int. Conf. (CAV'97)","volume":"1254","author":"Graf S.","year":"1997","unstructured":"S. Graf and H. Saidi . Construction of abstract state graphs with PVS. In Computer Aided Verification , 9th Int. Conf. (CAV'97) , volume 1254 of LNCS, pages 72 -- 83 . Springer , 1997 .]] S. Graf and H. Saidi. Construction of abstract state graphs with PVS. In Computer Aided Verification, 9th Int. Conf. (CAV'97), volume 1254 of LNCS, pages 72--83. Springer, 1997.]]"},{"key":"e_1_3_2_1_8_1","first-page":"424","volume-title":"9th Int. Conf. (CAV'97)","volume":"1254","author":"Kesten Y.","year":"1997","unstructured":"Y. Kesten , O. Maler , M. Marcus , A. Pnueli , and E. Shahar . Symbolic model checking with rich assertional languages. In Computer Aided Verification , 9th Int. Conf. (CAV'97) , volume 1254 of LNCS, pages 424 -- 435 . Springer , 1997 .]] Y. Kesten, O. Maler, M. Marcus, A. Pnueli, and E. Shahar. Symbolic model checking with rich assertional languages. In Computer Aided Verification, 9th Int. Conf. (CAV'97), volume 1254 of LNCS, pages 424--435. Springer, 1997.]]"},{"key":"e_1_3_2_1_9_1","series-title":"LNCS","first-page":"222","volume-title":"Perspectives of System Informatics","author":"Rybina T.","year":"2003","unstructured":"T. Rybina and A. Voronkov . A logical reconstruction of reachability . In Perspectives of System Informatics , volume 2890 of LNCS , pages 222 -- 237 . Springer , 2003 .]] T. Rybina and A. Voronkov. A logical reconstruction of reachability. In Perspectives of System Informatics, volume 2890 of LNCS, pages 222--237. Springer, 2003.]]"}],"event":{"name":"ASE05: International Conference on Automated Software Engineering 2005","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Long Beach CA USA","acronym":"ASE05"},"container-title":["Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1101908.1101971","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1101908.1101971","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:02Z","timestamp":1750262882000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1101908.1101971"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,7]]},"references-count":9,"alternative-id":["10.1145\/1101908.1101971","10.1145\/1101908"],"URL":"https:\/\/doi.org\/10.1145\/1101908.1101971","relation":{},"subject":[],"published":{"date-parts":[[2005,11,7]]},"assertion":[{"value":"2005-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}