| Pengarang |
| Arne Boralv; |
| Judul |
| The industrial success of verification tools based on stalmarck's method, (LNCS-Lecture Notes in Computer Science 1254) Hal 7-10 |
| Judul Artikel |
| Nama Prosiding |
| Computer aided verification: 9th international conf. Cav'97 Haifa, Israel, June 22-25, 1997 Proceedings |
| Bahasa |
| Eng |
| No. Seri |
| Lecture Notes in Computer Science 1254 |
| Abstrak English |
| Penerbitan |
| Springer, 1997 |
| Kata Kunci |
| Tahun |
| 1997 |
| Subjek |
| No. Panggil |
| 004 Int c |