Sciweavers

31
Voted
ENTCS
2008

A Model Checking Approach to Protocol Conversion

14 years 9 months ago
A Model Checking Approach to Protocol Conversion
Roopak Sinha, Partha S. Roop, Samik Basu
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Roopak Sinha, Partha S. Roop, Samik Basu
Comments (0)