Login / Signup

A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus.

Gabriel BaumMarcelo F. FriasT. S. E. Maibaum
Published in: AMAST (1998)
Keyphrases