@inbook{Ku_era_2002,
    title = {Why Is Simulation Harder than Bisimulation?},
    isbn = {9783540456940},
    issn = {0302-9743},
    url = {http://dx.doi.org/10.1007/3-540-45694-5_39},
    doi = {10.1007/3-540-45694-5_39},
    booktitle = {CONCUR 2002 — Concurrency Theory},
    publisher = {Springer Berlin Heidelberg},
    author = {Kučera, Antonín and Mayr, Richard},
    year = {2002},
    pages = {594–609},
    date-added = {2026-3-20 15:30:32 +0100}
}

@inbook{Ku_era_2002, title = {Why Is Simulation Harder than Bisimulation?}, isbn = {9783540456940}, issn = {0302-9743}, url = {http://dx.doi.org/10.1007/3-540-45694-5_39}, doi = {10.1007/3-540-45694-5_39}, booktitle = {CONCUR 2002 — Concurrency Theory}, publisher = {Springer Berlin Heidelberg}, author = {Kučera, Antonín and Mayr, Richard}, year = {2002}, pages = {594–609}, date-added = {2026-3-20 15:30:32 +0100} }