Rennes)

Identifiers

• name variant Rennes) 0.60 · backfill

Papers (2)

1. Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems cs.LO · 2014 · author #2
2. Proceedings Foundations for Interface Technologies cs.LO · 2011 · author #2

Mentions

• 1406.1567 #2 · backfill · confidence 0.70 Rennes)
• 1101.4266 #2 · backfill · confidence 0.70 Rennes)

Frequent Coauthors

• Axel Legay (INRIA 1 shared papers
• Beno\^it Caillaud (INRIA 1 shared papers
• Luca Bortolussi (University of Trieste) 1 shared papers
• Nathalie Bertrand (INRIA 1 shared papers