| DaftarIsitemplate |
| Call Number |
| 005.16 Bit f |
| Title |
| A compositional proof of a real-time mutual exlusion protocol (LNCS-Lecture Notes in Computer Science 1214), hal. 365-379 |
| Author |
| Kare J. Kristofferson; Francois Laroussinie; Kim G. Larsen; |
| Publisher |
| Springer, 1997 |
| Subject |
| Location |