%0 Conference Paper %1 conf/ectel/YessadMLKC14 %A Yessad, Amel %A Mounier, Isabelle %A Labat, Jean-Marc %A Kordon, Fabrice %A Carron, Thibault %B EC-TEL %D 2014 %E Rensing, Christoph %E de Freitas, Sara %E Ley, Tobias %E Merino, Pedro J. Muñoz %I Springer %K dblp %P 476-481 %T Have You Found the Error? A Formal Framework for Learning Game Verification. %U http://dblp.uni-trier.de/db/conf/ectel/ectel2014.html#YessadMLKC14 %V 8719 %@ 978-3-319-11199-5

@inproceedings{conf/ectel/YessadMLKC14, added-at = {2022-04-09T00:00:00.000+0200}, author = {Yessad, Amel and Mounier, Isabelle and Labat, Jean-Marc and Kordon, Fabrice and Carron, Thibault}, biburl = {https://www.bibsonomy.org/bibtex/28e1d33daf7e14176f2b928fc459baead/dblp}, booktitle = {EC-TEL}, crossref = {conf/ectel/2014}, editor = {Rensing, Christoph and de Freitas, Sara and Ley, Tobias and Merino, Pedro J. Muñoz}, ee = {https://doi.org/10.1007/978-3-319-11200-8_45}, interhash = {4a4f6ddf4b5b138ebdc99cd3d0286ea9}, intrahash = {8e1d33daf7e14176f2b928fc459baead}, isbn = {978-3-319-11199-5}, keywords = {dblp}, pages = {476-481}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:40:10.000+0200}, title = {Have You Found the Error? A Formal Framework for Learning Game Verification.}, url = {http://dblp.uni-trier.de/db/conf/ectel/ectel2014.html#YessadMLKC14}, volume = 8719, year = 2014 }