Laura Nenzi (IMT Lucca

Identifiers

• name variant Laura Nenzi (IMT Lucca 0.60 · backfill

Papers (1)

1. On the Robustness of Temporal Properties for Stochastic Models cs.LO · 2013 · author #5

Mentions

• 1309.0866 #5 · backfill · confidence 0.70 Laura Nenzi (IMT Lucca

Frequent Coauthors

• Austria) 1 shared papers
• Ezio Bartocci (TU Wien 1 shared papers
• Guido Sanguinetti (University of Edinburgh 1 shared papers
• Italy) 1 shared papers
• Luca Bortolussi (University of Trieste 1 shared papers
• UK) 1 shared papers