{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:33:55Z","timestamp":1740548035616,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156427"},{"type":"electronic","value":"9783642156434"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15643-4_25","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T13:39:39Z","timestamp":1284989979000},"page":"341-346","source":"Crossref","is-referenced-by-count":6,"title":["Model-Checking Web Applications with Web-TLR"],"prefix":"10.1007","author":[{"given":"Mar\u00eda","family":"Alpuente","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Demis","family":"Ballis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Espert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Romero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1002\/stvr.401","volume":"19","author":"M.H. Alalfi","year":"2009","unstructured":"Alalfi, M.H., Cordy, J.R., Dean, T.R.: Modelling Methods for Web Application Verification and Testing: State of the Art. Software Testing, Verification and Reliability\u00a019, 265\u2013296 (2009)","journal-title":"Software Testing, Verification and Reliability"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"790","DOI":"10.1007\/978-3-642-05089-3_50","volume-title":"FM 2009: Formal Methods","author":"M. Alpuente","year":"2009","unstructured":"Alpuente, M., Ballis, D., Romero, D.: Specification and Verification of Web Applications in Rewriting Logic. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 790\u2013805. Springer, Heidelberg (2009)"},{"key":"25_CR3","series-title":"ENTCS","volume-title":"Proc. of the 9th International Workshop on Rule-Based Programming (RULE 2008)","author":"K. Bae","year":"2008","unstructured":"Bae, K., Meseguer, J.: A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. In: Proc. of the 9th International Workshop on Rule-Based Programming (RULE 2008). ENTCS. Elsevier, Amsterdam (2008)"},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude: A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Flores, S., Lucas, S., Villanueva, A.: Formal verification of websites. In: Proc. 4th Int\u2019l Workshop on Automated Specification and Verification of Web Sites (WWV 2008). ENTCS, vol.\u00a0200(3), pp. 103\u2013118 (2008)","DOI":"10.1016\/j.entcs.2008.04.095"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-36575-3_17","volume-title":"Programming Languages and Systems","author":"P. Graunke","year":"2003","unstructured":"Graunke, P., Findler, R., Krishnamurthi, S., Felleisen, M.: Modeling web interactions. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 238\u2013252. Springer, Heidelberg (2003)"},{"key":"25_CR7","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1109\/ICWE.2008.38","volume-title":"ICWE 2008: Proc. of the 2008 Eighth International Conference on Web Engineering","author":"M. Haydar","year":"2008","unstructured":"Haydar, M., Sahraoui, H., Petrenko, A.: Specification patterns for formal web verification. In: ICWE 2008: Proc. of the 2008 Eighth International Conference on Web Engineering, pp. 240\u2013246. IEEE CS, Los Alamitos (2008)"},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-540-68679-8_22","volume-title":"Concurrency, Graphs and Models","author":"J. Meseguer","year":"2008","unstructured":"Meseguer, J.: The Temporal Logic of Rewriting: A Gentle Introduction. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 354\u2013382. Springer, Heidelberg (2008)"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Message, R., Mycroft, A.: Controlling control flow in web applications. In: Proc. 4th Int\u2019l Workshop on Automated Specification and Verification of Web Sites (WWV 2008). ENTCS, vol.\u00a0200(3), pp. 119\u2013131 (2008)","DOI":"10.1016\/j.entcs.2008.04.096"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/ICECCS.2007.30","volume-title":"ICECCS 2007: Proc. of the 12th IEEE Int\u2019l Conf. on Engineering Complex Computer Systems (ICECCS 2007)","author":"H. Miao","year":"2007","unstructured":"Miao, H., Zeng, H.: Model checking-based verification of web application. In: ICECCS 2007: Proc. of the 12th IEEE Int\u2019l Conf. on Engineering Complex Computer Systems (ICECCS 2007), Washington, DC, USA, pp. 47\u201355. IEEE CS, Los Alamitos (2007)"},{"issue":"4","key":"25_CR11","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10990-004-4866-z","volume":"17","author":"C. Queinnec","year":"2004","unstructured":"Queinnec, C.: Continuations and web servers. Higher-Order and Symbolic Computation\u00a017(4), 277\u2013295 (2004)","journal-title":"Higher-Order and Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15643-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T23:05:35Z","timestamp":1740524735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15643-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156427","9783642156434"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15643-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}