Sophie Quinton

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

2 Sophie Quinton, Susanne Graf: Contract-Based Verification of Hierarchical Systems of Components. SEFM 2008: 377-381

2007

1 Susanne Graf, Sophie Quinton: Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. FORTE 2007: 1-18

	2008
2		Sophie Quinton, Susanne Graf: Contract-Based Verification of Hierarchical Systems of Components. SEFM 2008: 377-381
	2007
1		Susanne Graf, Sophie Quinton: Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. FORTE 2007: 1-18

Coauthor Index

1 Susanne Graf [1] [2]