Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
J. Sifakis (ed.)
Bok Engelsk 1990
Utgitt | Berlin : Springer , c1990
|
---|---|
Omfang | VII, 382 s. : ill.
|
Emner | |
ISBN | 0387521488. - 3540521488
|