%0 Journal Article %1 journals/ker/KonurF15 %A Konur, Savas %A Fisher, Michael %D 2015 %J Knowledge Eng. Review %K myown %N 3 %P 324-341 %T A roadmap to pervasive systems verification. %U http://dblp.uni-trier.de/db/journals/ker/ker30.html#KonurF15 %V 30

@article{journals/ker/KonurF15, added-at = {2016-05-29T22:19:40.000+0200}, author = {Konur, Savas and Fisher, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2aa92e85fb6a675b8ca2488374e58240a/mfisher}, ee = {http://dx.doi.org/10.1017/S0269888914000228}, interhash = {1b581ede0b820cd75e70727ab58df25b}, intrahash = {aa92e85fb6a675b8ca2488374e58240a}, journal = {Knowledge Eng. Review}, keywords = {myown}, number = 3, pages = {324-341}, timestamp = {2016-05-29T22:19:40.000+0200}, title = {A roadmap to pervasive systems verification.}, url = {http://dblp.uni-trier.de/db/journals/ker/ker30.html#KonurF15}, volume = 30, year = 2015 }