Verification of digital and hybrid systems
edited by M. Kemal Inan, Robert P. Kurshan
Bok Engelsk 2000 NATO Advanced Study Institute on Verification of Digital and Hybrid Systems
| Utgitt | Berlin : Springer , c2000
|
|---|---|
| Omfang | XVIII, 405 s. : ill.
|
| Opplysninger | "Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26-June 6, 1997" - Tittelsidens bakside
|
| Emner | |
| ISBN | 3540655956
|
