Login / Signup

Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP.

Sibylle B. FröschleSlawomir Lasota
Published in: CONCUR (2005)
Keyphrases