![](/img/cover-not-exists.png)
[ACM Press the sixteenth annual ACM symposium - Santa Barbara, California, United States (1997.08.21-1997.08.24)] Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 - Verification engineering
Pnueli, AmirYear:
1997
Language:
english
DOI:
10.1145/259380.259407
File:
PDF, 54 KB
english, 1997