3. ICNP 1995: Tokyo, Japan

Formal Methods

ATM Bandwidth Assignments

Protocol Synthesis

ATM Switch Design

Formal Description Techniques

ATM Traffic Control

Transport Protocols

Wireless Clommunications

Information Networks

Multimedia Synchronization

Internetworking

Multimedia Protocol Design

Protocol Design

Multimedia LANs