Compositional Model Checking for Linear-Time Temporal Logic

@inproceedings{Kaivola1992CompositionalMC,
  title={Compositional Model Checking for Linear-Time Temporal Logic},
  author={Roope Kaivola},
  booktitle={CAV},
  year={1992}
}