Login / Signup

An Effective Coalgebraic Bisimulation Proof Method.

Lingyun Luo
Published in: CMCS (2006)
Keyphrases