| DaftarIsitemplate |
| Call Number |
| SEM-234 |
| Title |
| Relative liveness: from intuition to automated verfication, Hal. 108-117 |
| Author |
| R. Negulescu; J.A. Brozozowski; |
| Publisher |
| Proceedings : asynchronous design methodologies, May 30-31, 1995 London, England, 1995 |
| Subject |
| Location |