Liliana D'Errico

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Liliana D'Errico, Michele Loreti: Assume-Guarantee Verification of Concurrent Systems. COORDINATION 2009: 288-305

2007

1 Liliana D'Errico, Michele Loreti: Modeling Fuzzy Behaviours in Concurrent Systems. ICTCS 2007: 94-105

	2009
2		Liliana D'Errico, Michele Loreti: Assume-Guarantee Verification of Concurrent Systems. COORDINATION 2009: 288-305
	2007
1		Liliana D'Errico, Michele Loreti: Modeling Fuzzy Behaviours in Concurrent Systems. ICTCS 2007: 94-105

Coauthor Index

1 Michele Loreti [1] [2]