Verifying a UMTS Protocol Using Spin and EASN

Research output: Contribution to journalConference articleScientificpeer-review

Matti Luukkainen, Vivek K. Shanbhag, K. Gopinath

LanguageEnglish
JournalElectronic Notes in Theoretical Computer Science
Volume118
Pages71-85
Number of pages14
ISSN1571-0661
DOIs
Publication statusPublished - 2005
MoE publication typeA4 Article in conference proceedings
EventWorkshop on Software Verification and Validation (SVV) - Mumbai, Netherlands
Duration: 14 Dec 200314 Dec 2003
Conference number: 1

External organisations

Shanbhag, Vivek K.
  • Indian institute of Sciece, Bangalore
Gopinath, K.
  • Indian institute of Sciece, Bangalore

ID: 8375909