{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T05:40:11Z","timestamp":1746337211173,"version":"3.40.4"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319111995"},{"type":"electronic","value":"9783319112008"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-11200-8_45","type":"book-chapter","created":{"date-parts":[[2014,8,13]],"date-time":"2014-08-13T15:22:20Z","timestamp":1407943340000},"page":"476-481","source":"Crossref","is-referenced-by-count":1,"title":["Have You Found the Error? A Formal Framework for Learning Game Verification"],"prefix":"10.1007","author":[{"given":"Amel","family":"Yessad","sequence":"first","affiliation":[]},{"given":"Isabelle","family":"Mounier","sequence":"additional","affiliation":[]},{"given":"Jean-Marc","family":"Labat","sequence":"additional","affiliation":[]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[]},{"given":"Thibault","family":"Carron","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","unstructured":"Fabricatore, C.: Learning and Videogames: An Unexploited Synergy. In: 2000 AECT National Convention. Springer Science + Business Media, Secaucus (2000)"},{"key":"45_CR2","unstructured":"Rajib Mall. Fundamentals of Software Engineering. Prentice-Hall of India Private Limited. Rajkamal Electric of India Private Limited"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer (2009) ISBN: 978-3-642-00283-0","DOI":"10.1007\/b95112"},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"B\u00e9rard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification. Model-Checking Techniques and Tools. Springer (2001)","DOI":"10.1007\/978-3-662-04558-9"},{"key":"45_CR5","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press (1999)"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"Haddad, S., Kordon, F., Petrucci, L., Pradat-Peyre, J.-F., Tr\u00e8ves, N.: Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains. In: 28th American Control Conference (ACC), pp. 5018\u20135025. Omnipress IEEE (2009)","DOI":"10.1109\/ACC.2009.5160020"},{"key":"45_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/978-3-642-21834-7_20","volume-title":"Applications and Theory of Petri Nets","author":"M. Colange","year":"2011","unstructured":"Colange, M., Baarir, S., Kordon, F., Thierry-Mieg, Y.: Crocodile: A Symbolic\/Symbolic tool for the analysis of Symmetric Nets with Bag. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol.\u00a06709, pp. 338\u2013347. Springer, Heidelberg (2011)"},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"Hamez, A., Hillah, L., Kordon, F., Linard, A., Paviot-Adet, E., Renault, X., Thierry-Mieg, Y.: New features in CPN-AMI 3: Focusing on the analysis of complex distributed systems. In: 6th International Conference on Application of Concurrency to System Design (ACSD), Turku, Finland, pp. 273\u2013275. IEEE Computer Society (June 2006)","DOI":"10.1109\/ACSD.2006.15"}],"container-title":["Lecture Notes in Computer Science","Open Learning and Teaching in Educational Communities"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11200-8_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T05:05:44Z","timestamp":1746335144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11200-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111995","9783319112008"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11200-8_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}