%0 Book Section %1 series/lncs/CordyCHLS13 %A Cordy, Maxime %A Classen, Andreas %A Heymans, Patrick %A Legay, Axel %A Schobbens, Pierre-Yves %B Assurances for Self-Adaptive Systems %D 2013 %E Cámara, Javier %E de Lemos, Rogério %E Ghezzi, Carlo %E Lopes, Antónia %I Springer %K dblp %P 1-29 %T Model Checking Adaptive Software with Featured Transition Systems. %U http://dblp.uni-trier.de/db/series/lncs/lncs7740.html#CordyCHLS13 %V 7740 %@ 978-3-642-36248-4

@incollection{series/lncs/CordyCHLS13, added-at = {2017-06-14T00:00:00.000+0200}, author = {Cordy, Maxime and Classen, Andreas and Heymans, Patrick and Legay, Axel and Schobbens, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/292543bd421fab05c6f941760fe8236c6/dblp}, booktitle = {Assurances for Self-Adaptive Systems}, crossref = {series/lncs/7740}, editor = {Cámara, Javier and de Lemos, Rogério and Ghezzi, Carlo and Lopes, Antónia}, ee = {https://doi.org/10.1007/978-3-642-36249-1_1}, interhash = {0516440a2957626379fdc850d594e2bf}, intrahash = {92543bd421fab05c6f941760fe8236c6}, isbn = {978-3-642-36248-4}, keywords = {dblp}, pages = {1-29}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:46:27.000+0200}, title = {Model Checking Adaptive Software with Featured Transition Systems.}, url = {http://dblp.uni-trier.de/db/series/lncs/lncs7740.html#CordyCHLS13}, volume = 7740, year = 2013 }