Dang Van Hung

Identifiers

• name variant Dang Van Hung 0.60 · backfill

Papers (1)

1. Towards Approximate Model Checking DC and PDC Specifications cs.LO · 2012 · author #2

Mentions

• 1212.3838 #2 · backfill · confidence 0.70 Dang Van Hung

Frequent Coauthors

• Changil Choe 1 shared papers
• Song Han 1 shared papers