DaftarIsitemplate

Call Number

004 Int c

Title

An improved reachability analysis method for strongly linear hybrid systems (extended abstract),(LNCS-Lecture Notes in Computer Science 1254) Hal 167-178

Author

Bernard Boigelot; Louis Bronne; Stephane Rassart;

Publisher

Springer, 1997

Subject

Location