DaftarIsitemplate

Call Number

004 Int c

Title

The verus tool: a quantitative approach to the formal verification of real-time systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 452-455

Author

Sergio Campos; Edmund Clarke; Marius Minea;

Publisher

Springer, 1997

Subject

Location