DaftarIsitemplate

Call Number

005.369 Ant h

Title

A Note on abstract interpretation strategies for hybrid automata, (LNCS-Lecture Notes in Computer Science 999)Hal. 252-293

Author

Thomas A. Henzinger;

Publisher

Springer, 1995

Subject

Location