Weighted Pushdown Systems and Trust-Management Systems.

Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps

Browse the full TACAS paper archive.