%0 Conference Paper %1 conf/sac/CamaraGS015 %A Cámara, Javier %A Garlan, David %A Schmerl, Bradley R. %A Pandey, Ashutosh %B SAC %D 2015 %E Wainwright, Roger L. %E Corchado, Juan Manuel %E Bechini, Alessio %E Hong, Jiman %I ACM %K dblp %P 428-435 %T Optimal planning for architecture-based self-adaptation via model checking of stochastic games. %U http://dblp.uni-trier.de/db/conf/sac/sac2015.html#CamaraGS015 %@ 978-1-4503-3196-8

@inproceedings{conf/sac/CamaraGS015, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cámara, Javier and Garlan, David and Schmerl, Bradley R. and Pandey, Ashutosh}, biburl = {https://www.bibsonomy.org/bibtex/2f23f0fa65354bbf8c195d62116759d70/dblp}, booktitle = {SAC}, crossref = {conf/sac/2015}, editor = {Wainwright, Roger L. and Corchado, Juan Manuel and Bechini, Alessio and Hong, Jiman}, ee = {https://doi.org/10.1145/2695664.2695680}, interhash = {6b91c61f85ca8a1c49bd3488e0c026f2}, intrahash = {f23f0fa65354bbf8c195d62116759d70}, isbn = {978-1-4503-3196-8}, keywords = {dblp}, pages = {428-435}, publisher = {ACM}, timestamp = {2018-11-07T16:23:37.000+0100}, title = {Optimal planning for architecture-based self-adaptation via model checking of stochastic games.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2015.html#CamaraGS015}, year = 2015 }