Computing Stuttering Simulations.

Francesco Ranzato, Francesco Tapparo

Browse the full CONCUR paper archive.