Verification of Parameterized Communicating Automata via Split-Width.

Marie Fortin, Paul Gastin

Browse the full FOSSACS paper archive.