Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System.

Nils Mllner, Oliver E. Theel, Martin Frnzle

Browse the full AINA paper archive.