Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number 004.33 Jos f
Collection Type Indeks Artikel LNCS
Title Scaling up uppaal automatic verification of real-time systems using compositionality and abstraction, (LNCS-Lecture Notes in Computer Science 1926) Hal 19-30
Author Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou;
Publisher Springer, 2000
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
004.33 Jos f TERSEDIA
Tidak ada review pada koleksi ini: 38580
Tidak ada abstrak pada koleksi ini