@inproceedings{PHR01,
title = { Counter-example generation in symbolic abstract model-checking },
author = {Pace, Gordon and Halbwachs, Nicolas and Raymond, Pascal},
month = {jul},
year = {2001},
booktitle = {6th International Workshop on Formal Methods for Industrial Critical Systems, FMICS'2001},
address = {Paris},
publisher = {Inria},
team = {SYNC},
}
