Hans J?Rgen Ohlbach
AuthID: R-00J-50P
1
TITLE: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings
AUTHORS: Dov M Gabbay; Hans Jürgen Ohlbach;
PUBLISHED: 1994, SOURCE: ICTL, VOLUME: 827
AUTHORS: Dov M Gabbay; Hans Jürgen Ohlbach;
PUBLISHED: 1994, SOURCE: ICTL, VOLUME: 827
INDEXED IN: DBLP