%0
Generic
%T
Verifying a UMTS Protocol Using Spin and EASN
%A Luukkainen, Matti
%A Shanbhag, Vivek K.
%A Gopinath, K.
%I Elsevier BV
%@ 1571-0661
%K General Computer Science
%K Theoretical Computer Science
%D 2005
%C Elsevier BV
%U http://slubdd.de/katalog?TN_libero_mab2