Model Checking LTL Using Net Unforldings

@inproceedings{Wallner1998ModelCL,
  title={Model Checking LTL Using Net Unforldings},
  author={Frank Wallner},
  booktitle={CAV},
  year={1998}
}
Highly Cited
This paper has 26 citations. REVIEW CITATIONS