{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:21Z","timestamp":1725549981308},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540294146"},{"type":"electronic","value":"9783540320852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11569596_97","type":"book-chapter","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T01:17:55Z","timestamp":1132017475000},"page":"956-965","source":"Crossref","is-referenced-by-count":1,"title":["Recovering the Lattice of Repetitive Sub-functions"],"prefix":"10.1007","author":[{"given":"Guy-Vincent","family":"Jourdan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hasan","family":"Ural","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00fcsn\u00fc","family":"Yenig\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"ITU Telecommunication Standardization Sector: ITU-T Recommendation Z.120. Message Sequence Charts (MSC 1996) (1996)","key":"97_CR1"},{"doi-asserted-by":"crossref","unstructured":"Rudolph, E., Graubmann, P., Gabowski, J.: Tutorial on message sequence charts. Computer Networks and ISDN Systems\u2013SDL and MSC\u00a028 (1996)","key":"97_CR2","DOI":"10.1016\/0169-7552(95)00122-0"},{"key":"97_CR3","first-page":"70","volume":"17","author":"R. Alur","year":"1996","unstructured":"Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. Software Concepts and Tools\u00a017, 70\u201377 (1996)","journal-title":"Software Concepts and Tools"},{"doi-asserted-by":"crossref","unstructured":"Ben-Abdallah, H., Leue, S.: Syntactic detection of progress divergence and non\u2013local choice in message sequence charts. In: 2nd TACAS, pp. 259\u2013274 (1997)","key":"97_CR4","DOI":"10.1007\/BFb0035393"},{"key":"97_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-48320-9_10","volume-title":"CONCUR\u201999. Concurrency Theory","author":"R. Alur","year":"1999","unstructured":"Alur, R., Yannakakis, M.: Model checking of message sequence charts. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 114\u2013129. Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. In: 22nd International Conference on Software Engineering, pp. 304\u2013313 (2000)","key":"97_CR6","DOI":"10.1145\/337180.337215"},{"key":"97_CR7","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1109\/TSE.2003.1214326","volume":"29","author":"R. Alur","year":"2003","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. IEEE Transactions on Software Engineering\u00a029, 623\u2013633 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"97_CR8","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/52.43044","volume":"7","author":"E. Chikofsky","year":"1990","unstructured":"Chikofsky, E., Cross, J.: Reverse engineering and design recovery. IEEE Software\u00a07, 13\u201317 (1990)","journal-title":"IEEE Software"},{"doi-asserted-by":"crossref","unstructured":"Lee, D., Sabnani, K.: Reverse engineering of communication protocols. In: IEEE ICNP 1993, pp. 208\u2013216 (1993)","key":"97_CR9","DOI":"10.1109\/ICNP.1993.340917"},{"key":"97_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-30232-2_9","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"H. Ural","year":"2004","unstructured":"Ural, H., Yenigun, H.: Towards design recovery from observations. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 133\u2013149. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Computer and Information Sciences - ISCIS 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11569596_97.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:55:25Z","timestamp":1605624925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11569596_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540294146","9783540320852"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11569596_97","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}