@article{van_Glabbeek_2009,
    doi = {10.3233/fi-2009-109},
    url = {https://doi.org/10.3233%2Ffi-2009-109},
    year = {2009},
    publisher = {{IOS} Press},
    volume = {93},
    number = {4},
    pages = {371--392},
    author = {Rob van Glabbeek and Bas Luttik and Nikola Tr{\v{c}}ka},
    title = {Branching Bisimilarity with Explicit Divergence},
    journal = {Fundamenta Informaticae}
}

@article{van_Glabbeek_2009, doi = {10.3233/fi-2009-109}, url = {https://doi.org/10.3233%2Ffi-2009-109}, year = {2009}, publisher = {{IOS} Press}, volume = {93}, number = {4}, pages = {371--392}, author = {Rob van Glabbeek and Bas Luttik and Nikola Tr{\v{c}}ka}, title = {Branching Bisimilarity with Explicit Divergence}, journal = {Fundamenta Informaticae} }