%0 Journal Article
%T Research on Automatic Verification of Finite-State Concurrent Systems
%A E. M. Clarke
%A O. Gr¨¹mberg
%J -
%D 1987
%R 10.1146/annurev.cs.02.060187.001413
%U https://www.annualreviews.org/doi/abs/10.1146/annurev.cs.02.060187.001413