Beno\^it Delahaye (IRISA)
Identifiers
- name variant Beno\^it Delahaye (IRISA) 0.60 · backfill
Papers (1)
- A Model for Probabilistic Reasoning on Assume/Guarantee Contracts cs.PF · 2008 · author #1
Mentions
- 0811.1151 #1 · backfill · confidence 0.70 Beno\^it Delahaye (IRISA)
Frequent Coauthors
- Beno\^it Caillaud (IRISA 1 shared papers
- IRISA 1 shared papers
- IRISA) 1 shared papers