{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:16:57Z","timestamp":1748751417319},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386121"},{"type":"electronic","value":"9783642386138"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38613-8_22","type":"book-chapter","created":{"date-parts":[[2013,5,13]],"date-time":"2013-05-13T02:45:19Z","timestamp":1368413119000},"page":"316-330","source":"Crossref","is-referenced-by-count":13,"title":["A Compositional Automata-Based Semantics for Property Patterns"],"prefix":"10.1007","author":[{"given":"Kalou Cabrera","family":"Castillos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Dadeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Julliand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bilal","family":"Kanso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Safouan","family":"Taha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Cabrera Castillos, K., Dadeau, F., Julliand, J., Taha, S.: Projet TASCCC, Test Automatique bas\u00e9 sur des SC\u00e9narios et \u00e9valuation Crit\u00e8res Communs., \n                      \n                        http:\/\/lifc.univ-fcomte.fr\/TASCCC\/"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-24580-0_4","volume-title":"Testing Software and Systems","author":"K. Cabrera Castillos","year":"2011","unstructured":"Cabrera Castillos, K., Dadeau, F., Julliand, J., Taha, S.: Measuring test properties coverage for evaluating UML\/OCL model-based tests. In: Wolff, B., Za\u00efdi, F. (eds.) ICTSS 2011. LNCS, vol.\u00a07019, pp. 32\u201347. Springer, Heidelberg (2011)"},{"key":"22_CR3","unstructured":"Dwyer, M.B., Alavi, H., Avrunin, G., Corbett, J., Dillon, L., Pasareanu, C.: Specification Patterns, \n                      \n                        http:\/\/patterns.projects.cis.ksu.edu\/"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: FMSP, pp. 7\u201315 (1998)","DOI":"10.1145\/298595.298598"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-44585-4_6","volume-title":"Computer Aided Verification","author":"P. Gastin","year":"2001","unstructured":"Gastin, P., Oddoux, D.: Fast LTL to B\u00fcchi automata translation. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 53\u201365. Springer, Heidelberg (2001)"},{"key":"22_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-0-387-34892-6_1","volume-title":"Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV","author":"R. Gerth","year":"1996","unstructured":"Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV, pp. 3\u201318. Chapman, Hall, Ltd., London (1996)"},{"key":"22_CR8","first-page":"122","volume":"79","author":"N. Markey","year":"2003","unstructured":"Markey, N.: Temporal logic with past is exponentially more succinct, concurrency column. Bulletin of the EATCS\u00a079, 122\u2013128 (2003)","journal-title":"Bulletin of the EATCS"},{"issue":"2-3","key":"22_CR9","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(87)90008-9","volume":"49","author":"A.P. Sistla","year":"1987","unstructured":"Sistla, A.P., Vardi, M.Y., Wolper, P.: The complementation problem for B\u00fcchi automata with applications to temporal logic. Theoretical Computer Science\u00a049(2-3), 217\u2013237 (1987)","journal-title":"Theoretical Computer Science"},{"key":"22_CR10","unstructured":"Taha, S.: OCL temporal extension (2012), \n                      \n                        http:\/\/wwwdi.supelec.fr\/taha\/temporalocl\/"},{"key":"22_CR11","unstructured":"Tsay, Y.K., et al.: Graphical Tool for Omega-Automata and Logics, \n                      \n                        http:\/\/goal.im.ntu.edu.tw\/wiki\/doku.php"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38613-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:48:08Z","timestamp":1558316888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38613-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386121","9783642386138"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38613-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}