DaftarIsitemplate

Call Number

004 Int c

Title

Verification of real-time systems by successive over and under approximation, (LNCS-Lecture Notes in Computer Science 939) Hal 409-422

Author

David L. Dill; Howard Wong-Toi;

Publisher

Springer, 1995

Subject

Location