@article{PHR04,
title = { Counter-example generation in symbolic abstract model-checking },
author = {Pace, Gordon and Halbwachs, Nicolas and Raymond, Pascal},
month = {mar},
year = {2004},
journal = {Software Tools for Technology Transfer},
number = {2},
volume = {5},
team = {SYNC},
}