Michael C. Browne
M. C. Browne, E. M. Clarke, and O. Grumberg.
Reasoning about networks with many identical finite state processes.
Information and Computation
, 81(1):13-31, April 1989.
Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database