Centre d'Etude et De Recherche en Informatique et Communications (EA4629) |
|
Memory Efficient State Space Storage in Explicit Software Model Checking
[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, (note)
motcle:
Résumé:
resume
| @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}", | |
| } | |||
Agenda
 Suivre le laboratoire
|
ContactsCNAM-CEDRIC ENSIIE-CEDRIC |