Invariant-Based Verification of a Distributed Deadlock Detection Algorithm

5 Figures & Tables

Topic

Statistics

0510'95'98'01'04'07'10'13'16
Citations per Year

fewer than 50 Citations

Semantic Scholar estimates that this publication has 50 citations based on the available data.

See our FAQ for additional information.