@incollection{Groote_1998,
    doi = {10.1007/3-540-49253-4_8},
    url = {https://doi.org/10.1007%2F3-540-49253-4_8},
    year = {1998},
    publisher = {Springer Berlin Heidelberg},
    pages = {74--90},
    author = {Jan Friso Groote and Radu Mateescu},
    title = {Verification of Temporal Properties of Processes in a Setting with Data},
    booktitle = {Algebraic Methodology and Software Technology}
}

@incollection{Groote_1998, doi = {10.1007/3-540-49253-4_8}, url = {https://doi.org/10.1007%2F3-540-49253-4_8}, year = {1998}, publisher = {Springer Berlin Heidelberg}, pages = {74--90}, author = {Jan Friso Groote and Radu Mateescu}, title = {Verification of Temporal Properties of Processes in a Setting with Data}, booktitle = {Algebraic Methodology and Software Technology} }