Papers

Thomas Wahl, Alastair F. Donaldson. Replication and Abstraction: Symmetry in Automated Formal Verification. Symmetry 2(2):799-847. MDPI, 2010.

Bibtex:

@article{WahlD_Symmetry2010,
   title      = {Replication and Abstraction: Symmetry in Automated
                 Formal Verification},
   author     = {Thomas Wahl and Alastair F. Donaldson},
   journal    = {Symmetry},
   volume     = {2},
   issue      = {2},
   pages      = {799-847},
   publisher  = {MDPI},
   year       = {2010}
}