@article{lmcs:4922,
    Author = {Ganardi, Moses and G{\"o}ller, Stefan and Lohrey, Markus},
    File = {1806.00256 (0) - a - a - w.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Logic in Computer Science},
    Month = {October},
    Title = {{The Complexity of Bisimulation and Simulation on Finite Systems}},
    URL = {https://lmcs.episciences.org/4922},
    Volume = {{Volume 14, Issue 4}},
    Year = {2018},
    bdsk-url-1 = {https://lmcs.episciences.org/4922},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-14(4:5)2018},
    date-added = {2018-11-20 22:05:46 +0100},
    date-modified = {2018-11-20 22:05:46 +0100},
    doi = {10.23638/LMCS-14(4:5)2018}
}

@article{lmcs:4922, Author = {Ganardi, Moses and G{\"o}ller, Stefan and Lohrey, Markus}, File = {1806.00256 (0) - a - a - w.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Logic in Computer Science}, Month = {October}, Title = {{The Complexity of Bisimulation and Simulation on Finite Systems}}, URL = {https://lmcs.episciences.org/4922}, Volume = {{Volume 14, Issue 4}}, Year = {2018}, bdsk-url-1 = {https://lmcs.episciences.org/4922}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-14(4:5)2018}, date-added = {2018-11-20 22:05:46 +0100}, date-modified = {2018-11-20 22:05:46 +0100}, doi = {10.23638/LMCS-14(4:5)2018} }