%0 Journal Article %1 journals/jss/DjoudiBZ16 %A Djoudi, Brahim %A Bouanaka, Chafia %A Zeghib, Nadia %D 2016 %J J. Syst. Softw. %K dblp %P 445-462 %T A formal framework for context-aware systems specification and verification. %U http://dblp.uni-trier.de/db/journals/jss/jss122.html#DjoudiBZ16 %V 122

@article{journals/jss/DjoudiBZ16, added-at = {2020-10-26T00:00:00.000+0100}, author = {Djoudi, Brahim and Bouanaka, Chafia and Zeghib, Nadia}, biburl = {https://www.bibsonomy.org/bibtex/285bb76e552a994d894f8e09e2a7e5802/dblp}, ee = {https://doi.org/10.1016/j.jss.2015.11.035}, interhash = {132f57f8133dc943f69d54c60af069ec}, intrahash = {85bb76e552a994d894f8e09e2a7e5802}, journal = {J. Syst. Softw.}, keywords = {dblp}, pages = {445-462}, timestamp = {2020-10-27T12:48:16.000+0100}, title = {A formal framework for context-aware systems specification and verification.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss122.html#DjoudiBZ16}, volume = 122, year = 2016 }