Login / Signup

A domain equation for refinement of partial systems.

Michael HuthRadha JagadeesanDavid A. Schmidt
Published in: Math. Struct. Comput. Sci. (2004)
Keyphrases