• Medientyp: E-Artikel
  • Titel: Verifying a UMTS Protocol Using Spin and EASN
  • Beteiligte: Luukkainen, Matti; Shanbhag, Vivek K.; Gopinath, K.
  • Erschienen: Elsevier BV, 2005
  • Erschienen in: Electronic Notes in Theoretical Computer Science
  • Sprache: Englisch
  • DOI: 10.1016/j.entcs.2004.11.007
  • ISSN: 1571-0661
  • Schlagwörter: General Computer Science ; Theoretical Computer Science
  • Entstehung:
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang