Login / Signup

From Programs to Games: Invariance and Safety for Bisimulation.

Marc Pauly
Published in: CSL (2000)
Keyphrases