Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings

@inproceedings{1989TemporalLI,
  title={Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings},
  author={},
  booktitle={Temporal Logic in Specification},
  year={1989}
}
  • Published 1989 in Temporal Logic in Specification