Lia Deotto

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2002

3 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

	2002
3		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

Coauthor Index