Rank Predicates vs. Progress Measures in Concurrent-Program Verification (1996)

Cached

Download Links

by Moshe Y. Vardi
Citations:2 - 1 self