| DaftarIsitemplate |
| Call Number |
| 004 Lec |
| Title |
| Synthesis of communicating progresses from temporal logic specifications, (LNCS-Lecture Notes in Computer Science 131) Hal. 253-281 |
| Author |
| Zohar Manna; Pierre Wolper; |
| Publisher |
| Springer, 1981 |
| Subject |
| Location |