{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:14Z","timestamp":1725489434361},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751946"},{"type":"electronic","value":"9783540751953"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75195-3_33","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T03:12:43Z","timestamp":1187406763000},"page":"432-437","source":"Crossref","is-referenced-by-count":2,"title":["Curriculum Model Checking: Declarative Representation and Verification of Properties"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[]},{"given":"Elisa","family":"Marengo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"33_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"EC-TEL 2007","author":"M. Baldoni","year":"2007","unstructured":"Baldoni, M., Baroglio, C., Brunkhorst, I., Marengo, E., Patti, V.: Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture. In: Dural, E., Klamma, R., Wolpers, M. (eds.) EC-TEL 2007. LNCS, vol.\u00a04753, Springer, Heidelberg (2007)"},{"key":"33_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/11526988_5","volume-title":"Reasoning Web","author":"M. Baldoni","year":"2005","unstructured":"Baldoni, M., Baroglio, C., Henze, N.: Personalization for the Semantic Web. In: Eisinger, N., Ma\u0142uszy\u0144ski, J. (eds.) Reasoning Web. LNCS, vol.\u00a03564, pp. 173\u2013212. Springer, Heidelberg (2005)"},{"key":"33_CR3","series-title":"LNCS(LNAI)","volume-title":"AI*IA 2007","author":"M. Baldoni","year":"2007","unstructured":"Baldoni, M., Baroglio, C., Marengo, E.: Curricula Modeling and Checking. In: Basili, R., Pazienza, M.T. (eds.) AI*IA 2007. LNCS(LNAI), vol.\u00a04733, Springer, Heidelberg (2007)"},{"issue":"1","key":"33_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/B:AIRE.0000044296.89727.ff","volume":"22","author":"M. Baldoni","year":"2004","unstructured":"Baldoni, M., Baroglio, C., Patti, V.: Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions. Artificial Intelligence Review\u00a022(1), 3\u201339 (2004)","journal-title":"Artificial Intelligence Review"},{"issue":"1\/2","key":"33_CR5","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1504\/IJCEELL.2003.002154","volume":"13","author":"P. Brusilovsky","year":"2003","unstructured":"Brusilovsky, P., Vassileva, J.: Course sequencing techniques for large-scale web-based education. Int. J. Cont. Engineering Education and Lifelong learning\u00a013(1\/2), 75\u201394 (2003)","journal-title":"Int. J. Cont. Engineering Education and Lifelong learning"},{"key":"33_CR6","unstructured":"De Coi, J.L., Herder, E., Koesling, A., Lofi, C., Olmedilla, D., Papapetrou, O., Sibershi, W.: A model for competence gap analysis. In: Proc. of WEBIST 2007, INSTICC Press (2007)"},{"key":"33_CR7","first-page":"997","volume":"B","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and model logic. Handbook of Theoretical Computer Science\u00a0B, 997\u20131072 (1990)","journal-title":"Handbook of Theoretical Computer Science"},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"Farrell, R., Liburd, S.D., Thomas, J.C.: Dynamic assebly of learning objects. In: Proc. of WWW 2004, New York, USA (2004)","DOI":"10.1145\/1010432.1010459"},{"key":"33_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web - ISWC 2006","author":"N. Henze","year":"2006","unstructured":"Henze, N., Krause, D.: Personalized access to web services in the semantic web. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol.\u00a04273, Springer, Heidelberg (2006)"},{"key":"33_CR10","volume-title":"The SPIN Model Checker","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2003)"},{"key":"33_CR11","unstructured":"Melia, M., Pahl, C.: Automatic Validation of Learning Object Compositions. In: Proc. of IT&T 2005: Doctoral Symposium, Carlow, Ireland (2006)"},{"issue":"12","key":"33_CR12","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"M.P. Singh","year":"1998","unstructured":"Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer\u00a031(12), 40\u201347 (1998)","journal-title":"IEEE Computer"},{"key":"33_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Creating New Learning Experiences on a Global Scale"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75195-3_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:55:00Z","timestamp":1619506500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75195-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751946","9783540751953"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75195-3_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}