Hao Wang (Centre for Logic

Identifiers

• name variant Hao Wang (Centre for Logic 0.60 · backfill

Papers (2)

1. An Efficient Explicit-time Description Method for Timed Model Checking cs.LO · 2009 · author #1
2. Verifying Real-Time Systems using Explicit-time Description Methods cs.LO · 2009 · author #1

Mentions

• 0912.2553 #1 · backfill · confidence 0.70 Hao Wang (Centre for Logic
• 0912.1903 #1 · backfill · confidence 0.70 Hao Wang (Centre for Logic

Frequent Coauthors

• Canada) 2 shared papers
• Information 2 shared papers
• St. Francis Xavier University 2 shared papers
• Wendy MacCaull (Centre for Logic 2 shared papers