论文信息 - Proving Properties of a Ring of Finite-State Machines - 字舞流文

Proving Properties of a Ring of Finite-State Machines

Ichiro Suzuki | I. Suzuki

[1] Edmund M. Clarke,et al. Reasoning about networks with many identical finite-state processes , 1986, PODC '86.

[2] Krzysztof R. Apt,et al. Limits for Automatic Verification of Finite-State Concurrent Systems , 1986, Inf. Process. Lett..