Wendy MacCaull (Centre for Logic

Identifiers

• name variant Wendy MacCaull (Centre for Logic 0.60 · backfill

Papers (2)

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

Mentions

• 0912.2553 #5 · backfill · confidence 0.70 Wendy MacCaull (Centre for Logic
• 0912.1903 #5 · backfill · confidence 0.70 Wendy MacCaull (Centre for Logic

Frequent Coauthors

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