Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol.

Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan

Browse the full APSEC paper archive.