Journal: Telecommunication Systems

Volume 20, Issue 3-4

177 -- 194Noel D. Uri. The Measurement of the Change in Productivity in Telecommunications
195 -- 239James Aweya, Michel Ouellette, Delfin Y. Montuno. Stability and Fairness of a Rate Allocation Scheme
241 -- 254Attahiru Sule Alfa, Bin Liu. Performance Analysis of a Mobile Communication Network: Unidirectional Tandem Case with Phase Type Service
255 -- 263Bruno Tuffin. Revisited Progressive Second Price Auction for Charging Telecommunication Networks
265 -- 290Jens Grabowski, Dieter Hogrefe. SDL- and MSC-Based Specification and Automated Test Case Generation for INAP
291 -- 310Peter Herrmann, Heiko Krumm, Olaf Drögehorn, Walter Geisselhardt. Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs