| DaftarIsitemplate |
| Call Number |
| 005.2 Man t |
| Title |
| Temporal verification of research reactive systems: safety |
| Author |
| Manna, Zohar; |
| Publisher |
| New York Springer-Verlag 1995 |
| Subject |
| Computer software-verification; Parallel processing(Electronic computers) |
| Location |