A specification invariant technique for regularity improvement between flow-graph clusters

Janssen, MartinMartinJanssenCatthoor, FranckyFranckyCatthoorDe Man, HugoHugoDe Man2021-09-292021-09-291996https://imec-publications.be/handle/20.500.12860/1281A specification invariant technique for regularity improvement between flow-graph clustersProceedings paper