SVISS: Symbolic Verification of Symmetric Systems.

Thomas Wahl, Nicolas Blanc, E. Allen Emerson

Browse the full TACAS paper archive.