State Exploration by Transformation with LOLA

@inproceedings{Quemada1989StateEB,
  title={State Exploration by Transformation with LOLA},
  author={Juan Quemada and Santiago Pav{\'o}n and Angel Fern{\'a}ndez},
  booktitle={Automatic Verification Methods for Finite State Systems},
  year={1989}
}