Untitled HOME GANTI PASSWORD LOGOUT




Selamat Datang
SELAMAT DATANG DI PERPUSTAKAAN ONLINE

E-JOURNAL

From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap



  ID Publisher : 0000015710
  Nama Jurnal : Tests and Proofs
  Pengarang : Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, and Davide Balzarotti
  Subjek : Model checkers, automatically, Security Protocols
  Edisi : 0 / 0 / June 2012


Download File...

  Isi_Artikel_358598051609.pdf
  [ 2304369  bytes ]


Kembali


Untitled
          
LINK FAKULTAS
MENU MAHASISWA