@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6008860
|
|
|