R. Brück, Bernd Kleinjohann, Thomas Kathöfer, Franz J. Rammig
Synthesis of concurrent modular controllers from algorithmic descriptions
DAC, 1986.
@inproceedings{DAC-1986-BruckKKR, author = "R. Brück and Bernd Kleinjohann and Thomas Kathöfer and Franz J. Rammig", booktitle = "{Proceedings of the 23rd Design Automation Conference}", doi = "10.1145/318013.318058", pages = "285--292", publisher = "{IEEE Computer Society Press}", title = "{Synthesis of concurrent modular controllers from algorithmic descriptions}", year = 1986, }