DaftarIsitemplate
 
Call Number
004.33 Mal h
Title
Relating time progress and deadlines in hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 286-300
Author
Sebastien Bornot; Joseph Sifakis;
Publisher
Springer, 1997
Subject
Location