![](/img/cover-not-exists.png)
[ACM Press the 11th ACM SIGACT-SIGPLAN symposium - Salt Lake City, Utah, United States (1984.01.15-1984.01.18)] Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84 - Temporal verification of carrier-sense local area network protocols
Shasha, D. E., Pnueli, A., Ewald, W.Year:
1984
Language:
english
DOI:
10.1145/800017.800516
File:
PDF, 888 KB
english, 1984