%0 Journal Article %1 journals/jacic/BakeraMRS11 %A Bakera, Marco %A Margaria, Tiziana %A Renner, Clemens D. %A Steffen, Bernhard %D 2011 %J JACIC %K dblp %N 4 %P 100-114 %T Game-Based Model Checking for Reliable Autonomy in Space. %U http://dblp.uni-trier.de/db/journals/jacic/jacic8.html#BakeraMRS11 %V 8

@article{journals/jacic/BakeraMRS11, added-at = {2014-10-05T00:00:00.000+0200}, author = {Bakera, Marco and Margaria, Tiziana and Renner, Clemens D. and Steffen, Bernhard}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e6fee960fe29d06ab88ce1de124594c9/dblp}, ee = {http://dx.doi.org/10.2514/1.32013}, interhash = {01d3c0db2f7b08ddaa6a93eec77b9d2c}, intrahash = {e6fee960fe29d06ab88ce1de124594c9}, journal = {JACIC}, keywords = {dblp}, number = 4, pages = {100-114}, timestamp = {2016-02-02T06:40:06.000+0100}, title = {Game-Based Model Checking for Reliable Autonomy in Space.}, url = {http://dblp.uni-trier.de/db/journals/jacic/jacic8.html#BakeraMRS11}, volume = 8, year = 2011 }