Symbolic Model Checking with Past and Future Temporal Modalities: Fundamentals and Algorithms

@inproceedings{Dharbe1995SymbolicMC,
  title={Symbolic Model Checking with Past and Future Temporal Modalities: Fundamentals and Algorithms},
  author={David D{\'e}harbe and Dominique Borrione},
  year={1995}
}
BETA