Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1
by Dov M. Gabbay
2020-07-25 04:47:55