DaftarIsitemplate

Call Number

004 Int c

Title

Generating BDD models for process algebra terms, (LNCS-Lecture Notes in Computer Science 939) Hal 16-30

Author

Ashvin Dsouza; Bard Bloom;

Publisher

Springer, 1995

Subject

Location