Static Infinite Wait Anomaly Detection in Polynomial Time.

Stephen P. Masticola, Barbara G. Ryder

Browse the full ICPP paper archive.