| DaftarIsitemplate |
| Call Number |
| 004.33 Jos f |
| Title |
| Verifying universal properties of parameterized networks, (LNCS-Lecture Notes in Computer Science 1926) Hal 291-303 |
| Author |
| Kai Baukus; Yassine Lakhnech; Karsten Stahl; |
| Publisher |
| Springer, 2000 |
| Subject |
| Location |