Liliana D'Errico

	2010
4		Liliana D'Errico, Michele Loreti: Property-Preserving Refinement of Concurrent Systems. TGC 2010: 222-236
	2009
3		Liliana D'Errico, Michele Loreti: Assume-Guarantee Verification of Concurrent Systems. COORDINATION 2009: 288-305
2		Liliana D'Errico, Michele Loreti: A process Algebra Approach to Fuzzy Reasoning. IFSA/EUSFLAT Conf. 2009: 1136-1141
	2007
1		Liliana D'Errico, Michele Loreti: Modeling Fuzzy Behaviours in Concurrent Systems. ICTCS 2007: 94-105

Coauthor Index

1

Michele Loreti

[1] [2] [3] [4]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page