Login / Signup

On the Relation of Programs and Computations to Models of Temporal Logic.

Pierre Wolper
Published in: Temporal Logic in Specification (1987)
Keyphrases