DaftarIsitemplate |
Call Number |
004.33 Jos j |
Title |
Formal techniques in real-time and fault-tolerant systems: the Int. Symposium, FTRTFT 2000 Pmil India; Sep. 20-22, 2000 proceesing |
Author |
Joseph, Mathai; |
Publisher |
New York Springer 2000 |
Subject |
Real-time |
Location |
FASILKOM-UI; |