Automatic Generation of Protocol Converters from Scenario-Based Specifications.

Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva

Browse the full RTSS paper archive.