![](/img/cover-not-exists.png)
A roadmap to pervasive systems verification
Konur, Savas, Fisher, MichaelVolume:
30
Language:
english
Journal:
The Knowledge Engineering Review
DOI:
10.1017/S0269888914000228
Date:
May, 2015
File:
PDF, 1012 KB
english, 2015