Performance Analysis of UMTS Resource Allocation Strategies using TIPPtool. - Fulvio Babich; Lia Deotto (ICALP Satellite Workshops, 2000)

Formal Methods for Specification and Analysis of Communication Protocols. - Fulvio Babich; Lia Deotto (IEEE Commun. Surv. Tutorials, 2002)

Modeling and performance analysis of resource allocation strategies for real-time services in UMTS using TIPPtool. - Fulvio Babich; Lia Deotto (Perform. Evaluation, 2002)