When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations.

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix

Browse the full FM paper archive.