Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.

Khalil Ajami, Serge Haddad, Jean-Michel Ili

Browse the full TACAS paper archive.