David Déharbe. A Tutorial Introduction to Symbolic Model Checking. In Ruy J. G. B. de Queiroz, editor, Logic for Concurrency and Synchronisation. Volume 18 of Trends in Logic, pages 215-237, Kluwer, 2003. [doi]
@incollection{Deharbe03,
title = {A Tutorial Introduction to Symbolic Model Checking},
author = {David Déharbe},
year = {2003},
doi = {10.1007/0-306-48088-3_5},
url = {https://doi.org/10.1007/0-306-48088-3_5},
researchr = {https://researchr.org/publication/Deharbe03},
cites = {0},
citedby = {0},
pages = {215-237},
booktitle = {Logic for Concurrency and Synchronisation},
editor = {Ruy J. G. B. de Queiroz},
volume = {18},
series = {Trends in Logic},
publisher = {Kluwer},
isbn = {978-1-4020-1270-9},
}