How to Compute the Refinement Relation for Parameterized Systems.

Franoise Bellegarde, Celina Charlet, Olga Kouchnarenko

Browse the full MEMOCODE paper archive.