Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science)
Edición de la obra Automatic Verification Methods for Finite State Systems
| Autor | Joseph Sifakis |
|---|---|
| Editorial | Not Avail |
| Fecha de publicación | February 1990 |
| Idioma | inglés |
| Páginas | 382 |
| Formato | Paperback |
| ISBN-13 | 9783540521488 |
| ISBN-10 | 3540521488 |
| Número de Cutter | S573a |