Signe J. Silver

According to our database, Signe J. Silver authored at least 1 paper in 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

True Concurrency in Models of Asynchronous Circuit Behavior.

Signe J. Silver, Janusz A. Brzozowski

Formal Methods Syst. Des., 2003