Limits for Automatic Verification of Finite-State Concurrent Systems

@article{Apt1986LimitsFA,
  title={Limits for Automatic Verification of Finite-State Concurrent Systems},
  author={Krzysztof R. Apt and Dexter Kozen},
  journal={Inf. Process. Lett.},
  year={1986},
  volume={22},
  pages={307-309}
}
BETA

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 245 CITATIONS, ESTIMATED 33% COVERAGE

743 Citations

0204060'87'94'02'10'18
Citations per Year
Semantic Scholar estimates that this publication has 743 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…