A Tool for Specification and Simulation, and its Application to ISDN D-Channel Protocol.

Joachim Swoboda, Berthold Khler, Alfred Bchle

Browse the full ICCC paper archive.