Refinement and Verification of Synchronized Component-Based Systems.

Olga Kouchnarenko, Arnaud Lanoix

Browse the full FM paper archive.