Modular State Level Analysis of Distributed Systems Techniques and Tool Support.

Peter Buchholz, Peter Kemper

Browse the full TACAS paper archive.