Login / Signup

A Decision Method for Temporal Logic Based on Resolution.

G. Venkatesh
Published in: FSTTCS (1985)
Keyphrases