2002 | ||
---|---|---|
3 | EE | Fulvio Babich, Lia Deotto: Formal Methods for Specification and Analysis of Communication Protocols. IEEE Communications Surveys and Tutorials 4(1): (2002) |
2 | Fulvio Babich, Lia Deotto: Modeling and performance analysis of resource allocation strategies for real-time services in UMTS using TIPPtool. Perform. Eval. 50(2/3): 101-128 (2002) | |
2000 | ||
1 | Fulvio Babich, Lia Deotto: Performance Analysis of UMTS Resource Allocation Strategies using TIPPtool. ICALP Satellite Workshops 2000: 565-578 |
1 | Fulvio Babich | [1] [2] [3] |