S. Hayati, A. Parker
Automatic Production of Controller Specifications from Control and Timing Behavioral Descriptions
DAC, 1989.
@inproceedings{DAC-1989-HayatiP,
author = "S. Hayati and A. Parker",
booktitle = "{Proceedings of the 26th Design Automation Conference}",
doi = "10.1145/74382.74396",
pages = "75--80",
publisher = "{ACM Press}",
title = "{Automatic Production of Controller Specifications from Control and Timing Behavioral Descriptions}",
year = 1989,
}