pith. sign in

Beno\^it Delahaye (IRISA)

Identifiers

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

Papers (1)

  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