DaftarIsitemplate
Call Number
004 Int c
Title
Algorithmic analysis of nonlinear hybrid systems, (LNCS-Lecture Notes in Computer Science 939) Hal 225-238
Author
Thomas A. Henzinger; Pei Hsin Ho;
Publisher
Springer, 1995
Subject
Location