DaftarIsitemplate

Call Number

004.33 Mal h

Title

A new algorithm for discrete timed symbolic model checking, (LNCS-Lecture Notes in Computer Science 1201) Hal 18-32

Author

Jurgen Ruf; Thomas Kropf;

Publisher

Subject

Location