TY - RPRT TI - Synthesizing a protocol converter from executable protocol traces AU - Rajagopal, Murali AU - Miller, Raymond E. PY - 1991 UR - https://ntrs.nasa.gov/citations/19910062480 ID - 19910062480 ER -