Recursive Abstractions for Parameterized Systems.

Joxan Jaffar, Andrew E. Santosa

Browse the full FM paper archive.