@inproceedings{27b1a64cf10f4045895dd43e21fd7c88,
title = "Temporal Logic: First International Conference, ICTL {\textquoteright}94 Bonn, Germany, July 11-14, 1994 Proceedings",
author = "Gabbay, {Dov M.} and Ohlbach, {Hans J{\"u}rgen}",
year = "1994",
language = "אנגלית",
isbn = "9783540582410",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
editor = "Gabbay, {Dov M.} and Ohlbach, {Hans Jurgen}",
booktitle = "Temporal Logic - 1st International Conference, ICTL 1994, Proceedings",
address = "גרמניה",
note = "1st International Conference on Temporal Logic, ICTL 1994 ; Conference date: 11-07-1994 Through 14-07-1994",
}