@inproceedings{pace:fmics2001,
	TITLE     = {Counter-example generation in symbolic abstract model-checking},
	AUTHOR    = {G. J. Pace and N. Halbwachs and P. Raymond},
	BOOKTITLE = {6th International Workshop on Formal Methods for Industrial Critical Systems, FMICS'2001, Paris, France},
	PUBLISHER = {INRIA},
	MONTH     = jul,
	YEAR      = 2001
}