Ph. Schnoebelen, Sophie Pinchinat
On the Weak Adequacy of Branching-Time Remporal Logic
ESOP, 1990.
@inproceedings{ESOP-1990-SchnoebelenP,
author = "Ph. Schnoebelen and Sophie Pinchinat",
booktitle = "{Proceedings of the Third European Symposium on Programming}",
doi = "10.1007/3-540-52592-0_75",
editor = "Neil D. Jones",
isbn = "3-540-52592-0",
pages = "377--388",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On the Weak Adequacy of Branching-Time Remporal Logic}",
volume = 432,
year = 1990,
}