| Pengarang |
| William P. de Roever; |
| Judul |
| A Formalism for reasoning about fair termination, (LNCS-Lecture Notes in Computer Science 131) Hal. 119-138 |
| Nama Prosiding |
| Logic of programs : proceeding 1981 |
| Bahasa |
| Eng |
| No. Seri |
| Lecture Notes in Computer Science 131 |
| Abstrak English |
| Kata Kunci |
| Penerbitan |
| Springer, 1981 |
| Tahun |
| 1981 |
| Subjek |
| No. Panggil |
| 004 Lec |