A Specification Invariant Technique for Regularity Improvement between Flow-Graph Clusters.

Martin Janssen, Francky Catthoor, Hugo De Man

Browse the full DATE paper archive.