Stefan D. Bruda

Identifiers

• name variant Stefan D. Bruda 0.50 · backfill

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• A. F. M. Nokib Uddin 1 shared papers
• Rui Zuo 1 shared papers
• Sunita Singh 1 shared papers
• Zhiyu Zhang 1 shared papers