DaftarIsitemplate

Call Number

004 Int c

Title

Hardware verification using monadic second-order logic, (LNCS-Lecture Notes in Computer Science 939) Hal 31-41

Author

David A. Basin; Nils Klarlund;

Publisher

Springer, 1995

Subject

Location