International Conference on Temporal Logic

TIME-ICTL 2003: Cairns, Queensland, Australia

TIME-ICTL 2003 Home Page

AiML-ICTL 2000: Leipzig, Germany

AiML-ICTL 2000 Home Page

2. ICTL 1997: Manchester, England

Proceedings: Kluwer

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. Lecture Notes in Computer Science 827 Springer 1994, ISBN 3-540-58241-X
Contents

Last update Sun May 26 02:26:13 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page