Synthesis of Linear Ranking Functions

@inproceedings{Coln2001SynthesisOL,
  title={Synthesis of Linear Ranking Functions},
  author={Michael Col{\'o}n and Henny B. Sipma},
  booktitle={TACAS},
  year={2001}
}
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 224 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 142 extracted citations

225 Citations

0102030'01'04'08'12'16
Citations per Year
Semantic Scholar estimates that this publication has 225 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…