Deepak Dhungana

Identifiers

• name variant Deepak Dhungana 0.60 · backfill

Papers (1)

1. Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material) cs.LO · 2013 · author #1

Mentions

• 1309.0065 #1 · backfill · confidence 0.70 Deepak Dhungana

Frequent Coauthors

• Ching Hoo Tang 1 shared papers
• Christoph Weidenbach 1 shared papers
• Patrick Wischnewski 1 shared papers