The Glory of the Past

O. Lichtenstein,A. Pnueli,L. Zuck
DOI: https://doi.org/10.1007/3-540-15648-8_16
1985-06-17
Abstract:
What problem does this paper attempt to address?