International Conference on Temporal Logic
TIME-ICTL 2003: Cairns, Queensland, Australia
AiML-ICTL 2000: Leipzig, Germany
2. ICTL 1997: Manchester, England
1. ICTL 1994: Bonn, Germany
Dov M. Gabbay, Hans Jürgen Ohlbach (Eds.): Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings. Springer 1994 Lecture Notes in Computer Science 827 ISBN 3-540-58241-X [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team