Travelled to:1 × USA
Collaborated with:A.P.Sistla
Talks about:model (2) protocol (1) symbol (1) verif (1) check (1) real (1) life (1) use (1)
Person: Vivek G. Naik
DBLP: Naik:Vivek_G=
Contributed to:
1994Wrote 1 papers:
- CAV-1994-NaikS #model checking #modelling #protocol #using #verification
- Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking (VGN, APS), pp. 194–206.