Beno\^it Caillaud (IRISA

Identifiers

• name variant Beno\^it Caillaud (IRISA 0.60 · backfill

Papers (1)

1. A Model for Probabilistic Reasoning on Assume/Guarantee Contracts cs.PF · 2008 · author #2

Mentions

• 0811.1151 #2 · backfill · confidence 0.70 Beno\^it Caillaud (IRISA

Frequent Coauthors

• Beno\^it Delahaye (IRISA) 1 shared papers
• IRISA 1 shared papers
• IRISA) 1 shared papers