Algorithmic Improvements in Regular Model Checking

@inproceedings{Abdulla2003AlgorithmicII,
  title={Algorithmic Improvements in Regular Model Checking},
  author={Parosh Aziz Abdulla and Bengt Jonsson and Marcus Nilsson and Julien d'Orso},
  booktitle={CAV},
  year={2003}
}
Highly Cited
This paper has 42 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…