The Complexity of Bisimulation and Simulation on Finite Systems

Moses Ganardi, Stefan Göller, Markus Lohrey. The Complexity of Bisimulation and Simulation on Finite Systems. Logical Methods in Computer Science, 14(4), 2018. [doi]

Authors

Moses Ganardi

This author has not been identified. Look up 'Moses Ganardi' in Google

Stefan Göller

This author has not been identified. Look up 'Stefan Göller' in Google

Markus Lohrey

This author has not been identified. Look up 'Markus Lohrey' in Google