Login / Signup

On Bisimilarities Induced by Relations on Actions.

S. Arun-Kumar
Published in: SEFM (2006)
Keyphrases