A Model Checking Method for Partially Symmetric Systems.

Serge Haddad, Jean-Michel Ili, Khalil Ajami

Browse the full FORTE paper archive.