E
[ES96] E. Allen Emerson and A. Prasad Sistla. Symmetry and model checking. Formal Methods in System Design 9(1-2):105-131. Kluwer Academic, August 1996. 
@article{fmsd9(1-2)-ES,
  author =              {Emerson, E. Allen and Sistla, A. Prasad},
  title =               {Symmetry and model checking},
  publisher =           {Kluwer Academic},
  journal =             {Formal Methods in System Design},
  volume =              {9},
  number =              {1-2},
  pages =               {105-131},
  year =                {1996},
  month =               aug,
  doi =                 {10.1007/BF00625970},
}
List of authors