- English
- français
Conference paper
Model Checking Transactional Memories
Reference
- LPD-CONF-2008-019
- View record in Web of Science
- View record in Web of Science
Record created on 2008-02-22, modified on 2012-03-20
Record created on 2008-02-22, modified on 2012-03-20