Automatic Production of Controller Specifications from Control and Timing Behavioral Descriptions.

Sally A. Hayati, Alice C. Parker

Browse the full DAC paper archive.