Daniela Lepri

Identifiers

• name variant Daniela Lepri 0.60 · backfill

Papers (1)

1. Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications cs.LO · 2010 · author #1

Mentions

• 1009.4264 #1 · backfill · confidence 0.70 Daniela Lepri

Frequent Coauthors

• Erika \'Abrah\'am 1 shared papers
• Peter Csaba \"Olveczky 1 shared papers