Doron Peled

Identifiers

• name variant Doron Peled 0.60 · backfill

Papers (1)

1. Synthesis of Succinct Systems cs.FL · 2012 · author #2

Mentions

• 1202.5449 #2 · backfill · confidence 0.70 Doron Peled

Frequent Coauthors

• John Fearnley 1 shared papers
• Sven Schewe 1 shared papers