{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:19Z","timestamp":1750307119809,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,11,3]],"date-time":"2010-11-03T00:00:00Z","timestamp":1288742400000},"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":[[2010,11,3]]},"DOI":"10.1145\/2020723.2020744","type":"proceedings-article","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T15:22:45Z","timestamp":1314804165000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Analyzing the robustness of FTSP with timed automata"],"prefix":"10.1145","author":[{"given":"Lin","family":"Tan","sequence":"first","affiliation":[{"name":"Nanjing University, Nanjing, Jiangsu, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Bu","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, Jiangsu, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianhua","family":"Zhao","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, Jiangsu, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linzhang","family":"Wang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, Jiangsu, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,11,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1031495.1031501"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2009.5410508"},{"key":"e_1_3_2_1_5_1","first-page":"200","volume-title":"4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004","author":"Behrmann G.","year":"2004"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_33"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"e_1_3_2_1_8_1","unstructured":"Clarke E. M. Grumberg O. and Peled D. A. 1999 Model checking. The MIT Press Cambridge Massachusetts   Clarke E. M. Grumberg O. and Peled D. A. 1999 Model checking. The MIT Press Cambridge Massachusetts"},{"key":"e_1_3_2_1_9_1","unstructured":"TinyOS. http:\/\/www.tinyos.net\/media.html  TinyOS. http:\/\/www.tinyos.net\/media.html"},{"first-page":"414","volume-title":"5th Symposium on Logic in Computer Science (LICS'90)","author":"Alur R.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/958491.958508"}],"event":{"name":"Internetware 2010: The Second Asia-Pacific Symposium on Internetware","sponsor":["Nanjing University of Aeronautics and Astronautics","CCF China Computer Federation","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Suzhou China","acronym":"Internetware 2010"},"container-title":["Proceedings of the Second Asia-Pacific Symposium on Internetware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2020723.2020744","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2020723.2020744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:22Z","timestamp":1750240102000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2020723.2020744"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,3]]},"references-count":9,"alternative-id":["10.1145\/2020723.2020744","10.1145\/2020723"],"URL":"https:\/\/doi.org\/10.1145\/2020723.2020744","relation":{},"subject":[],"published":{"date-parts":[[2010,11,3]]},"assertion":[{"value":"2010-11-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}