Reasoning about networks with many identical finite state processes
Work
Year: 1989
Type: article
Source: Information and Computation
Authors M. C. Browne, E. M. Clarke, Orna Grümberg
Institution Carnegie Mellon University
Cites: 20
Cited by: 179
Related to: 10
FWCI: 3.143
Citation percentile (by year/subfield): 98.57
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed