Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number 004.33 Mal h
Collection Type Indeks Artikel LNCS
Title A new algorithm for discrete timed symbolic model checking, (LNCS-Lecture Notes in Computer Science 1201) Hal 18-32
Author Jurgen Ruf; Thomas Kropf;
Publisher
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
004.33 Mal h TERSEDIA
Tidak ada review pada koleksi ini: 38726
Tidak ada abstrak pada koleksi ini