An Improved Algorithm for the Evaluation of Fixpoint Expressions

@article{Browne1997AnIA,
  title={An Improved Algorithm for the Evaluation of Fixpoint Expressions},
  author={Anca Browne and Edmund M. Clarke and Somesh Jha and David E. Long and Wilfredo R. Marrero},
  journal={Theor. Comput. Sci.},
  year={1997},
  volume={178},
  pages={237-255}
}

From This Paper

Topics from this paper.