Oliver Bringmann, Wolfgang Rosenstiel, Dirk Reichardt. Synchronization Detection for Multi-Process Hierarchical Synthesis. In ISSS. pages 105-110, 1998. [doi]
@inproceedings{BringmannRR98,
title = {Synchronization Detection for Multi-Process Hierarchical Synthesis},
author = {Oliver Bringmann and Wolfgang Rosenstiel and Dirk Reichardt},
year = {1998},
url = {http://dlib.computer.org/conferen/isss/8623/pdf/86230105.pdf},
tags = {synchronization},
researchr = {https://researchr.org/publication/BringmannRR98},
cites = {0},
citedby = {0},
pages = {105-110},
booktitle = {ISSS},
}