Temporal Logics in Computer Science

Sign up to use
A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.