R.S. Lazic

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• A.W. Roscoe 1 shared papers
• T.C. Newcomb 1 shared papers