DaftarIsitemplate

Call Number

004 Int c

Title

Construction of abstract state graphs with PVS, (LNCS-Lecture Notes in Computer Science 1254) Hal 72-83

Author

Susanne Graf; Hassen Saidi;

Publisher

Springer, 1997

Subject

Location