| DaftarIsitemplate |
| Call Number |
| 004 Lec |
| Title |
| Design and synthesis of synchronization skeletons using brancing time temporal logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 52-71 |
| Author |
| Edmund M. Clarke; |
| Publisher |
| Springer, 1981 |
| Subject |
| Location |