DaftarIsitemplate

Call Number

004.33 Mal f

Title

A new algorithm for discrete timed symbolic model checking, Hal. 18-32

Author

Jurgen Ruff; Thomas Kropf;

Publisher

Springer, 1997

Subject

Location