%0 Conference Paper %1 conf/hase/MachinDGPRW15 %A Machin, Mathilde %A Dufossé, Fanny %A Guiochet, Jérémie %A Powell, David %A Roy, Matthieu %A Waeselynck, Hélène %B HASE %D 2015 %I IEEE Computer Society %K %P 36-43 %T Model-Checking and Game theory for Synthesis of Safety Rules. %U http://dblp.uni-trier.de/db/conf/hase/hase2015.html#MachinDGPRW15 %@ 978-1-4799-8110-6

@inproceedings{conf/hase/MachinDGPRW15, added-at = {2023-12-12T21:14:07.000+0100}, author = {Machin, Mathilde and Dufossé, Fanny and Guiochet, Jérémie and Powell, David and Roy, Matthieu and Waeselynck, Hélène}, biburl = {https://www.bibsonomy.org/bibtex/2fed2491fc0d74196f755dfad54b7a4c0/admin}, booktitle = {HASE}, crossref = {conf/hase/2015}, ee = {http://doi.ieeecomputersociety.org/10.1109/HASE.2015.15}, interhash = {3b1e7d48c3227024afaa80b2a656641c}, intrahash = {fed2491fc0d74196f755dfad54b7a4c0}, isbn = {978-1-4799-8110-6}, keywords = {}, pages = {36-43}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T21:14:07.000+0100}, title = {Model-Checking and Game theory for Synthesis of Safety Rules.}, url = {http://dblp.uni-trier.de/db/conf/hase/hase2015.html#MachinDGPRW15}, year = 2015 }