Architectural Synthesis of Timed Asynchronous Systems.

Brandon M. Bachman, Hao Zheng, Chris J. Myers

Browse the full ICCD paper archive.