Login / Signup

Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding.

Ruurd Kuiper
Published in: Temporal Logic in Specification (1987)
Keyphrases