Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number 005.133 Gab l
Collection Type Indeks Artikel LNCS
Title PS-LTL for constraint-based security protocol analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 439-440
Author Ricardo Corin; Ari Saptawijaya; Sandro Etalle;
Publisher Springer, 2005
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
005.133 Gab l TERSEDIA
Tidak ada review pada koleksi ini: 38355
Tidak ada abstrak pada koleksi ini