On Parameterized Verification over Tree Topologies.

Romain Delpy, Anca Muscholl, Grgoire Sutre

Browse the full CONCUR paper archive.