Multi-valued symbolic model-checking
counter-examples, running time.
Edición de la obra Multi-valued symbolic model-checking
| Autor | Arie Gurfinkel |
|---|---|
| Editorial | National Library of Canada |
| Fecha de publicación | 2003 |
| Lugar | Ottawa |
| Idioma | inglés |
| Formato | Microform |
| ISBN-10 | 0612785114 |
| OCLC | 56371083 |
| Serie | Canadian theses = -- Th`eses canadiennes |
| Número de Cutter | G979m |