![](/img/cover-not-exists.png)
Formal verification of a pervasive messaging system
Savas Konur, Michael Fisher, Simon Dobson, Stephen KnoxVolume:
26
Language:
english
DOI:
10.1007/s00165-013-0277-4
Date:
July, 2014
File:
PDF, 1.02 MB
english, 2014