Valent\'in Valero

Identifiers

• name variant Valent\'in Valero 0.60 · backfill

Papers (2)

1. Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC cs.LO · 2017 · author #3
2. Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software cs.LO · 2011 · author #2

Mentions

• 1109.2399 #2 · backfill · confidence 0.70 Valent\'in Valero

Frequent Coauthors

• Ernesto Pimentel 1 shared papers
• Hermenegilda Maci\`a 1 shared papers
• Igor V. Tarasyuk 1 shared papers