Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science (827), Band 827)

Proceedings

von: Hans J. Ohlbach · Dov M. Gabbay

Taschenbuch

ISBN-13: 978-3-540-58241-0

ISBN-10: 3-540-58241-X

Springer · 2008
Siehe auch:
1994PaperbackTemporal Logic: First International Conference, Ictl '94 Bonn, Germany, July 11-14, 1994: Proceedings (Lecture Notes in Computer Science)