Fernando Rosa-Velardo

Identifiers

• name variant Fernando Rosa-Velardo 0.60 · backfill

Papers (1)

1. Decision Problems for Petri Nets with Names cs.LO · 2010 · author #1

Mentions

• 1011.3964 #1 · backfill · confidence 0.70 Fernando Rosa-Velardo

Frequent Coauthors

• David de Frutos-Escrig 1 shared papers