Skip to content

A synthesis rule for concurrent systems.

Tilak Agerwala, Yong-Chai Choed-Amphai

VenueA*DAC
Year1978
ProceedingsDAC

Browse the full DAC paper archive.