Sciweavers

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