DaftarIsitemplate

Call Number

005.133 Gab l

Title

Deductive multi-valued model checking, (LNCS-Lecture Notes in Computer Science 3668) Hal 297-310

Author

Ajay Mallya;

Publisher

Springer, 2005

Subject

Location