DaftarIsitemplate

Call Number

004 Int c

Title

Trace theoretic verification of asynchronous circuits using unfoldings, (LNCS-Lecture Notes in Computer Science 939) Hal 180-195

Author

K. L. McMillan;

Publisher

Springer, 1995

Subject

Location