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 Semantics and verification of extended phase transition systems in duration calculus, (LNCS-Lecture Notes in Computer Science 1201) Hal 301-315
Author Xu Qiwen;
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: 38754
Tidak ada abstrak pada koleksi ini