Login / Signup

Algebraic manipulations and vector languages.

Michael W. Shields
Published in: Partial Order Methods in Verification (1996)
Keyphrases