Hans J?Rgen Ohlbach
AuthID: R-00J-50P
1
TÃTULO: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings
AUTORES: Dov M Gabbay; Hans Jürgen Ohlbach;
PUBLICAÇÃO: 1994, FONTE: ICTL, VOLUME: 827
AUTORES: Dov M Gabbay; Hans Jürgen Ohlbach;
PUBLICAÇÃO: 1994, FONTE: ICTL, VOLUME: 827
INDEXADO EM: DBLP