DaftarIsitemplate

Call Number

004 Int c

Title

Efficient model checking using tabled resolution,(LNCS-Lecture Notes in Computer Science 1254) Hal 143-154

Author

Y.S. Ramakrishna; C.R. Ramakhrisnan; I.V. Ramakrishnan; Scott A. Smolka; Terrance Swift; David S. Warren;

Publisher

Springer, 1997

Subject

Location