@inproceedings{OWS121998,
               author = {O. Bringmann, W. Rosenstiel, S. Reichardt},
               title = {Synchronization Detection in Multi-Process Hierarchical Synthesis},
               booktitle = {11th International Symposium on System Synthesis (ISSS)},
               year = {1998},
               month = {12},
               address = {Hsinchu, Taiwan}
}