Login / Signup
Demos Eracleous
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Cooperative
Model Checker
Routing Problem
Network Nodes
Top Venues
Future Network & Mobile Summit
</>
Publications
</>
Stylianos Georgoulas
,
Klaus Moessner
,
Demos Eracleous
,
Michele Nati
Formal verification of the cooperative behaviour of network nodes for routing and context dissemination.
Future Network & Mobile Summit
(2012)