Ukachukwu Ndukwu (Department of Computing

Identifiers

• name variant Ukachukwu Ndukwu (Department of Computing 0.60 · backfill

Papers (1)

1. Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems cs.LO · 2009 · author #1

Mentions

• 0912.1900 #1 · backfill · confidence 0.70 Ukachukwu Ndukwu (Department of Computing

Frequent Coauthors

• Australia.) 1 shared papers
• Macquarie University 1 shared papers
• NSW 2109 1 shared papers
• Sydney 1 shared papers