Sign in

The Complexity of Bisimulation and Simulation on Finite Systems.

Moses GanardiStefan GöllerMarkus Lohrey
Published in: Log. Methods Comput. Sci. (2018)
Keyphrases