Synthesizing Converters Between Finite State Protocols.

Janaki Akella, Kenneth L. McMillan

Browse the full ICCD paper archive.