Sciweavers

58
Voted
ICFEM
2000
Springer

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

15 years 12 days 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)