DaftarIsitemplate

Call Number

004 Int

Title

Automatic abstraction techniques for propositional p-calculus model checking, Hal. 12-13

Author

Abelardo Pardo and Gary D. Hachtel;

Publisher

Springer, 1997

Subject

Location