DaftarIsitemplate

Call Number

005.369 Ant h

Title

Verification of hybrid systems using abstraction ((LNCS-Lecture Notes in Computer Science 999), Hal. 359-390

Author

Anuj Puri and Pravin Varniya;

Publisher

Springer, 1995

Subject

Location