|
 
|
[PE05] Memory Efficient State Space Storage in Explicit Software Model Checking
Conférence Internationale avec comité de lecture : SPIN'05 12th International SPIN Workshop on Model Checking of Software, January 2005, Vol. 3639, pp.43-57, Series LNCS,
motcle:
Résumé:
resume
Commentaires:
note
BibTeX
| @inproceedings { | |||
| PE05, | |||
| title | = | "{Memory Efficient State Space Storage in Explicit Software Model Checking}", | |
| author | = | " J. Peyre and S. Evangelista ", | |
| booktitle | = | "{SPIN'05 12th International SPIN Workshop on Model Checking of Software}", | |
| year | = | 2005, | |
| month | = | "January", | |
| series | = | "LNCS", | |
| volume | = | 3639, | |
| pages | = | "43-57", | |
| note | = | "{note}", | |
| } | |||
