%0 Conference Paper %1 conf/facs2/ShariflooS12 %A Sharifloo, Amir Molzam %A Spoletini, Paola %B FACS %D 2012 %E Pasareanu, Corina S. %E Salaün, Gwen %I Springer %K dblp %P 170-187 %T LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time. %U http://dblp.uni-trier.de/db/conf/facs2/facs2012.html#ShariflooS12 %V 7684 %@ 978-3-642-35861-6

@inproceedings{conf/facs2/ShariflooS12, added-at = {2017-05-19T00:00:00.000+0200}, author = {Sharifloo, Amir Molzam and Spoletini, Paola}, biburl = {https://www.bibsonomy.org/bibtex/2c844763088a0414fe316b41fd545f1b4/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2012}, editor = {Pasareanu, Corina S. and Salaün, Gwen}, ee = {https://doi.org/10.1007/978-3-642-35861-6_11}, interhash = {584355f518df4211d09ce43383126e9c}, intrahash = {c844763088a0414fe316b41fd545f1b4}, isbn = {978-3-642-35861-6}, keywords = {dblp}, pages = {170-187}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:05:43.000+0200}, title = {LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2012.html#ShariflooS12}, volume = 7684, year = 2012 }