@incollection{Namjoshi_2001,
    doi = {10.1007/3-540-44585-4_2},
    url = {https://doi.org/10.1007%2F3-540-44585-4_2},
    year = {2001},
    publisher = {Springer Berlin Heidelberg},
    pages = {2--13},
    author = {Kedar S. Namjoshi},
    title = {Certifying Model Checkers},
    booktitle = {Computer Aided Verification}
}

@incollection{Namjoshi_2001, doi = {10.1007/3-540-44585-4_2}, url = {https://doi.org/10.1007%2F3-540-44585-4_2}, year = {2001}, publisher = {Springer Berlin Heidelberg}, pages = {2--13}, author = {Kedar S. Namjoshi}, title = {Certifying Model Checkers}, booktitle = {Computer Aided Verification} }