T.C. Newcomb

Identifiers

No identifiers captured yet.

Papers (1)

1. On model checking data-independent systems with arrays without reset cs.LO · 2004 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• A.W. Roscoe 1 shared papers
• R.S. Lazic 1 shared papers