DaftarIsitemplate
 
Call Number
004.33 Mal h
Title
Robust timed automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 331-345
Author
Vineet Gupta; Thomas A. Henzinger; Radha Jagadeesan;
Publisher
Springer, 1997
Subject
Location