Sciweavers

Share
ICFEM
2000
Springer

SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol

9 years 6 months ago
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol
Hong Peng, Sofiène Tahar, Ferhat Khendek
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where ICFEM
Authors Hong Peng, Sofiène Tahar, Ferhat Khendek
Comments (0)
books