![](/img/cover-not-exists.png)
[ACM Press the sixteenth annual ACM symposium - Not Known (1984..-..)] Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 - Now you may compose temporal logic specifications
Barringer, Howard, Kuiper, Ruurd, Pnueli, AmirYear:
1984
Language:
english
DOI:
10.1145/800057.808665
File:
PDF, 1.04 MB
english, 1984