@incollection{Bruns_2004,
    doi = {10.1007/978-3-540-27836-8_26},
    url = {https://doi.org/10.1007%2F978-3-540-27836-8_26},
    year = {2004},
    publisher = {Springer Berlin Heidelberg},
    pages = {281--293},
    author = {Glenn Bruns and Patrice Godefroid},
    title = {Model Checking with Multi-valued Logics},
    booktitle = {Automata, Languages and Programming}
}

@incollection{Bruns_2004, doi = {10.1007/978-3-540-27836-8_26}, url = {https://doi.org/10.1007%2F978-3-540-27836-8_26}, year = {2004}, publisher = {Springer Berlin Heidelberg}, pages = {281--293}, author = {Glenn Bruns and Patrice Godefroid}, title = {Model Checking with Multi-valued Logics}, booktitle = {Automata, Languages and Programming} }