%0 Journal Article %1 journals/ker/KonurF15 %A Konur, Savas %A Fisher, Michael %D 2015 %J Knowl. Eng. Rev. %K dblp %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 = {2020-12-25T00:00:00.000+0100}, author = {Konur, Savas and Fisher, Michael}, biburl = {https://www.bibsonomy.org/bibtex/228b6d6742b400d467f4f017760a0e2cf/dblp}, ee = {https://www.wikidata.org/entity/Q98283414}, interhash = {1b581ede0b820cd75e70727ab58df25b}, intrahash = {28b6d6742b400d467f4f017760a0e2cf}, journal = {Knowl. Eng. Rev.}, keywords = {dblp}, number = 3, pages = {324-341}, timestamp = {2024-04-08T12:23:39.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 }