@inproceedings{DBLP:conf/icse/EasterbrookCDGLPTT03,
author = {Steve M. Easterbrook and
Marsha Chechik and
Benet Devereux and
Arie Gurfinkel and
Albert Y. C. Lai and
Victor Petrovykh and
Anya Tafliovich and
Christopher D. Thompson{-}Walsh},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {{\textbackslash}chiChek: {A} Model Checker for Multi-Valued Reasoning},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {804--805},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201295},
doi = {10.1109/ICSE.2003.1201295},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/EasterbrookCDGLPTT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ChechikDELP01,
author = {Marsha Chechik and
Benet Devereux and
Steve M. Easterbrook and
Albert Y. C. Lai and
Victor Petrovykh},
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {Efficient Multiple-Valued Model-Checking Using Lattice Representations},
booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2154},
pages = {441--455},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44685-0\_30},
doi = {10.1007/3-540-44685-0\_30},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ChechikDELP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChechikEP01,
author = {Marsha Chechik and
Steve M. Easterbrook and
Victor Petrovykh},
editor = {Jos{\'{e}} Nuno Oliveira and
Pamela Zave},
title = {Model-Checking over Multi-valued Logics},
booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2021},
pages = {72--98},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45251-6\_5},
doi = {10.1007/3-540-45251-6\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ChechikEP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
