Follow
Vikash Kodati
Vikash Kodati
Thomson Reuters, Trilogy
Verified email at alumni.iitg.ernet.in - Homepage
Title
Cited by
Cited by
Year
A java card cap converter in pvs
T Genet, T Jensen, V Kodati, D Pichardie
Electronic Notes in Theoretical Computer Science 82 (2), 426-442, 2004
92004
The system can't perform the operation now. Try again later.