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