Optimizing Büchi Automata

@inproceedings{Etessami2000OptimizingBA,
  title={Optimizing B{\"u}chi Automata},
  author={Kousha Etessami and Gerard J. Holzmann},
  booktitle={CONCUR},
  year={2000}
}
Highly Influential
This paper has highly influenced 20 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS