@phdthesis{Stribrna_PhD,
    author = {Jitka Stríbrná},
    title = {Decidability and complexity of equivalences for simple process algebras},
    year = {1999},
    date-added = {2025-4-17 15:11:23 +0100}
}

@phdthesis{Stribrna_PhD, author = {Jitka Stríbrná}, title = {Decidability and complexity of equivalences for simple process algebras}, year = {1999}, date-added = {2025-4-17 15:11:23 +0100} }