A. F. M. Nokib Uddin

Identifiers

• name variant A. F. M. Nokib Uddin 0.50 · backfill

Papers (1)

1. A Constructive Equivalence between Computation Tree Logic and Failure Trace Testing cs.LO · 2019 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Rui Zuo 1 shared papers
• Stefan D. Bruda 1 shared papers
• Sunita Singh 1 shared papers
• Zhiyu Zhang 1 shared papers