{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T21:39:57Z","timestamp":1648762797306},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1007\/bf02949824","type":"journal-article","created":{"date-parts":[[2008,9,13]],"date-time":"2008-09-13T13:22:47Z","timestamp":1221312167000},"page":"47-55","source":"Crossref","is-referenced-by-count":0,"title":["Checking MSC specifications for timing inconsistency"],"prefix":"10.1007","volume":"17","author":[{"given":"Xuandong","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenkai","family":"Tan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoliang","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02949824_CR1","unstructured":"ITU-T. Recommendation Z.120. ITU \u2014 Telecommunication Standardization Sector, Geneva, Switzerland, May, 1996."},{"key":"BF02949824_CR2","doi-asserted-by":"crossref","unstructured":"Rajeev Alur, Mihalis Yannakakis. Model checking of message sequence charts. InProc. the Tenth International Conference on Concurrency Theory, Lecture Notes in Computer Science 1664, Springer, 1999, pp.114\u2013129.","DOI":"10.1007\/3-540-48320-9_10"},{"key":"BF02949824_CR3","doi-asserted-by":"crossref","unstructured":"Rajeev Alur, Gerard J Holzmann; Doron Peled. An analyzer for message sequence charts. InSoftware Concepts and Tools, 1996, 17: 70\u201377.","DOI":"10.1007\/3-540-61042-1_37"},{"key":"BF02949824_CR4","series-title":"Technical Report 97-04","volume-title":"Expressing and analyzing timing constraints in message sequence chart specifications","author":"Hanene Ben-Abdallah","year":"1997","unstructured":"Hanene Ben-Abdallah, Stefan Leue. Expressing and analyzing timing constraints in message sequence chart specifications. Technical Report 97-04, Department of Electrical and Computer Engineering, University of Waterloo, Canada, April, 1997."},{"key":"BF02949824_CR5","doi-asserted-by":"crossref","unstructured":"Li Xuandong, Johan Lilius. Timing analysis of UML sequence diagrams. InProc. the Second International Conference on UML (UML99), Lecture Notes in Computer Science 1732, Springer, 1999, pp.661\u2013674.","DOI":"10.1007\/3-540-46852-8_46"},{"key":"BF02949824_CR6","series-title":"Technical Report TR","volume-title":"Interpreting message sequence charts (revised version)","author":"Peter B Ladkin","year":"1993","unstructured":"Peter B Ladkin, Stefan Leue. Interpreting message sequence charts (revised version). Technical Report TR 101, Dept. of Computing Science, University of Stirling, United Kingdom, March, 1993."},{"key":"BF02949824_CR7","unstructured":"Booch G, Meiri I, Rumbaugh J. The Unified Modeling Language for Object-Oriented Development (Version 0.91 Addebdum) RATIONAL Software Corporation, September, 1996."},{"key":"BF02949824_CR8","first-page":"3","volume-title":"Automata Studies","author":"S C Kleene","year":"1956","unstructured":"Kleene S C. Representation of Events in Nerve Nets and Finite Automata. InAutomata Studies, Princeton Univ. Press, Princeton, NJ, 1956, pp.3\u201341."},{"key":"BF02949824_CR9","doi-asserted-by":"crossref","unstructured":"Sheng Yu. Regular Languages. InHandbook of Formal Languages, Rozenberg G, Salomaa A (eds.), Vol.1, Springer, 1997, pp.41\u2013110.","DOI":"10.1007\/978-3-642-59136-5_2"},{"issue":"5","key":"BF02949824_CR10","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BF01211629","volume":"7","author":"P B Ladkin","year":"1995","unstructured":"Ladkin P B, Leue S. Interpreting message flow graphs.Formal Aspects of Computing, 1995, 7(5): 473\u2013509.","journal-title":"Formal Aspects of Computing"},{"key":"BF02949824_CR11","unstructured":"Selic B, Gullekson G, Ward P T. Real-Time Object-Oriented Modelling. John Wiley & Sons, Inc., 1994."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02949824.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02949824\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02949824","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T16:35:55Z","timestamp":1558456555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02949824"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["BF02949824"],"URL":"https:\/\/doi.org\/10.1007\/bf02949824","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}