Manuel N\'u\~nez

Identifiers

• name variant Manuel N\'u\~nez 0.60 · backfill

Papers (1)

1. Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications cs.LO · 2009 · author #7

Mentions

• 0912.2128 #7 · backfill · confidence 0.70 Manuel N\'u\~nez

Frequent Coauthors

• Annabelle McIver 1 shared papers
• Caroll Morgan 1 shared papers
• Jasen Markovski 1 shared papers
• Pedro D'Argenio 1 shared papers
• Pieter Cuijpers 1 shared papers
• Suzana Andova 1 shared papers