Sciweavers

2512 search results - page 94 / 503
» Software Transactional Memory
Sort
View
100
Voted
SPIN
2005
Springer
15 years 7 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...