Hans J?Rgen Ohlbach


AuthID: R-00J-50P

Publications Requiring Validation

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
INDEXED IN: DBLP

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service