Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols.

J. William Atwood, Morteza Ghodrat, Dariusz Tasak

Browse the full LCN paper archive.