Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
by Dov M. Gabbay
2021-06-04 14:46:00