DaftarIsitemplate

Call Number

004.33 Mal h

Title

Using hytech to verify an automotive control system, (LNCS-Lecture Notes in Computer Science 1201) Hal 139-153

Author

Thomas Stauner; Olaf Muller; Max Fuchs;

Publisher

Springer, 1997

Subject

Location