Synchronization Detection in Multi-Process Hierarchical Synthesis
by O. Bringmann, W. Rosenstiel, and S. Reichardt
In 11th International Symposium on System Synthesis (ISSS), 1998.
In 11th International Symposium on System Synthesis (ISSS), 1998.