> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
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