Sciweavers

3394 search results - page 98 / 679
» A Modal Model of Memory
Sort
View
105
Voted
SPIN
2005
Springer
15 years 8 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...