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 BibTeX
Copyright © Sat May 16 23:21:54 2009
by Michael Ley (ley@uni-trier.de)
