Model Checking Real-Time Properties of Symmetric Systems.

E. Allen Emerson, Richard J. Trefler

Browse the full MFCS paper archive.