A formal method for synthesizing optimized protocol converters and its application to mobile data networks

✍ Scribed by Zhongping Tao; Gregor v. Bochmann; Rachida Dssouli

• Book ID: 110323242
• Publisher: Springer US
• Year: 1997
• Tongue: English
• Weight: 593 KB
• Volume: 2
• Category: Article
• ISSN: 1383-469X
• DOI: 10.1023/a:1013692902855