61 search results - page 13 / 13 » Energy-Aware Self-Stabilization in Mobile Ad Hoc Networks: A... |
DSN
2002
IEEE
13 years 9 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...