@article{LHR01,
title = { Automatic Verification of Parameterized Networks of Processes },
author = {Lesens, David and Halbwachs, Nicolas and Raymond, Pascal},
year = {2001},
journal = {Theoretical Computer Science},
number = {1},
pages = {113--144},
volume = {256},
team = {SYNC},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32573056
|
|
|