Richard DeFrancisco

Identifiers

No identifiers captured yet.

Papers (1)

1. Model Checking Tap Withdrawal in C. Elegans cs.LO · 2015 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Chuchu Fan 1 shared papers
• Md. Ariful Islam 1 shared papers
• Radu Grosu 1 shared papers
• Sayan Mitra 1 shared papers
• Scott A. Smolka 1 shared papers