Temporal logics and their applications: Antony Galton (ed.), (Academic Press, Harcourt Brace Jovanovich Publishers, London, 1987) XII + 244 pp., hardcover, £ 24.00
作者：
Highlights：
•
摘要
论文关键词：
论文评审过程：Available online 16 March 2004.
论文官网地址：https://doi.org/10.1016/0933-3657(91)90045-D
