DaftarIsitemplate

Call Number

004.33 Mal h

Title

Verification of real time chemical processing systems (invited presentation), (LNCS-Lecture Notes in Computer Science 1201) Hal 259-272

Author

Adam L. Turk; Scott T. Probst; Gary J. Powers;

Publisher

Springer, 1997

Subject

Location