Temporal Logic: Mathematical Foundations and Computational Aspects (Volume 2)
No ratings yet
2000
·
English
·
Hardcover