Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Rajeev Alur, Thomas A. Henzinger (eds.)
Bok Engelsk 1996 CAV '96
| Utgitt | Berlin : Springer , c1996
|
|---|---|
| Omfang | XII, 472 s. : ill.
|
| Emner | |
| ISBN | 3540614745
|
