Automated logical verification based on trace abstractions
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
On the Refinement of Atomic Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae
Hi-index | 0.00 |