Parameterized Compositional Model Checking.

Kedar S. Namjoshi, Richard J. Trefler

Browse the full TACAS paper archive.