@incollection{Cleaveland_2001,
    doi = {10.1016/b978-044482830-9/50024-2},
    url = {https://doi.org/10.1016%2Fb978-044482830-9%2F50024-2},
    year = {2001},
    publisher = {Elsevier},
    pages = {391--424},
    author = {Rance Cleaveland and Oleg Sokolsky},
    title = {Equivalence and Preorder Checking for Finite-State Systems},
    booktitle = {Handbook of Process Algebra}
}

@incollection{Cleaveland_2001, doi = {10.1016/b978-044482830-9/50024-2}, url = {https://doi.org/10.1016%2Fb978-044482830-9%2F50024-2}, year = {2001}, publisher = {Elsevier}, pages = {391--424}, author = {Rance Cleaveland and Oleg Sokolsky}, title = {Equivalence and Preorder Checking for Finite-State Systems}, booktitle = {Handbook of Process Algebra} }