DaftarIsitemplate

Call Number

004 Int c

Title

Ucke - efficient u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 468-471

Author

Armin Biere;

Publisher

Springer, 1997

Subject

Location