The Measurement of the Change in Productivity in Telecommunications
Stability and Fairness of a Rate Allocation Scheme
Performance Analysis of a Mobile Communication Network
Revisited Progressive Second Price Auction for Charging Telecommunication Networks
SDL- and MSC-Based Specification and Automated Test Case Generation for INAP
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs