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 Verifying hybrid systems modeled as timed automata: a case study, (LNCS-Lecture Notes in Computer Science 1201) Hal 171-185
Author Myla Archer; Constance heitmeyer;
Publisher Springer, 1997
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
004.33 Mal h TERSEDIA
Tidak ada review pada koleksi ini: 38744
Tidak ada abstrak pada koleksi ini