Skip to content

Model Synthesis for Communication Traces of System Designs.

Hao Zheng, Md Rubel Ahmed, Parijat Mukherjee, Mahesh C. Ketkar, Jin Yang

VenueCICCD
Year2021
ProceedingsICCD

Browse the full ICCD paper archive.