{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:11Z","timestamp":1750307951321,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,7]],"date-time":"2007-09-07T00:00:00Z","timestamp":1189123200000},"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":[[2007,9,7]]},"DOI":"10.1145\/1287624.1287663","type":"proceedings-article","created":{"date-parts":[[2007,9,26]],"date-time":"2007-09-26T17:32:33Z","timestamp":1190827953000},"page":"275-284","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Symbolic message sequence charts"],"prefix":"10.1145","author":[{"given":"Abhik","family":"Roychoudhury","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}]},{"given":"Ankit","family":"Goel","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}]},{"given":"Bikram","family":"Sengupta","sequence":"additional","affiliation":[{"name":"IBM India Research Lab, New Delhi, India"}]}],"member":"320","published-online":{"date-parts":[[2007,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ITU-TS Recommendation Z.120 1996. Message Sequence Charts (MSC).  ITU-TS Recommendation Z.120 1996. Message Sequence Charts (MSC)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/HCC.2003.1260216"},{"key":"e_1_3_2_1_4_1","unstructured":"Center-TRACON Automation System (CTAS) for air traffic control. http:\/\/ctas.arc.nasa.gov\/.  Center-TRACON Automation System (CTAS) for air traffic control. http:\/\/ctas.arc.nasa.gov\/."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0046-5"},{"key":"e_1_3_2_1_6_1","unstructured":"CTAS requirements document. http:\/\/scesm04.upb.de\/case-study-2\/requirements.pdf\/.  CTAS requirements document. http:\/\/scesm04.upb.de\/case-study-2\/requirements.pdf\/."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2004.15"},{"key":"e_1_3_2_1_8_1","volume-title":"CAV","author":"Pnueli A.","year":"2002","unstructured":"A. Pnueli , J. Xu , and L. Zuck . Liveness with (0,1,infinity)-counter abstraction . In CAV , 2002 . A. Pnueli, J. Xu, and L. Zuck. Liveness with (0,1,infinity)-counter abstraction. In CAV, 2002."},{"key":"e_1_3_2_1_9_1","unstructured":"XSB logic programming system. http:\/\/xsb.sourceforge.net\/.  XSB logic programming system. http:\/\/xsb.sourceforge.net\/."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134328"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24727-2_15"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587077"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587069"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"Harel D.","year":"2003","unstructured":"D. Harel and R. Marelly . Come , Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine . Springer-Verlag , 2003 . D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003."}],"event":{"name":"ESEC\/FSE07: Joint 11th European Software Engineering Conference 2007","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Dubrovnik Croatia","acronym":"ESEC\/FSE07"},"container-title":["Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1287624.1287663","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1287624.1287663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:57:50Z","timestamp":1750258670000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1287624.1287663"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,7]]},"references-count":14,"alternative-id":["10.1145\/1287624.1287663","10.1145\/1287624"],"URL":"https:\/\/doi.org\/10.1145\/1287624.1287663","relation":{},"subject":[],"published":{"date-parts":[[2007,9,7]]},"assertion":[{"value":"2007-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}