Miguel E. Andres

Identifiers

• name variant Miguel E. Andres 0.60 · backfill

Papers (1)

1. Significant Diagnostic Counterexamples in Probabilistic Model Checking cs.LO · 2008 · author #1

Mentions

• 0806.1139 #1 · backfill · confidence 0.70 Miguel E. Andres

Frequent Coauthors

• Pedro D'Argenio 1 shared papers
• Peter van Rossum 1 shared papers