Two methods for checking formulas of temporal logic
Edición de la obra Two methods for checking formulas of temporal logic
| Autor | Hugh W. McGuire |
|---|---|
| Editorial | Dept. of Computer Science, Stanford University |
| Fecha de publicación | 1995 |
| Lugar | Stanford, Calif |
| Idioma | inglés |
| Páginas | 144 |
| OCLC | 34426902 |
| LCCN | 97116088 |
| Serie | Report ; · no. STAN-CS-TR-95-1551 · Report (Stanford University. Computer Science Dept.) ; |
| Número de Cutter | M478t |