| DaftarIsitemplate |
| Call Number |
| 004.33 Jos f |
| Title |
| Invariant-based synthesis of fault-tolerant systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 46-57 |
| Author |
| K. Lano; David Clark; K. Androutsopoulos; P. Kan; |
| Publisher |
| Springer, 2000 |
| Subject |
| Location |