Probabilistic guarded commands mechanized in HOL

@article{Hurd2005ProbabilisticGC,
  title={Probabilistic guarded commands mechanized in HOL},
  author={Joe Hurd and Annabelle McIver and Carroll Morgan},
  journal={Theor. Comput. Sci.},
  year={2005},
  volume={346},
  pages={96-112}
}
Highly Cited
This paper has 122 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 56 citations

122 Citations

01020'94'99'05'11'17
Citations per Year
Semantic Scholar estimates that this publication has 122 citations based on the available data.

See our FAQ for additional information.