Cited By
View all- Butt SGanapathy VBaliga AChristodorescu M(2011)Monitoring data structures using hardware transactional memoryProceedings of the Second international conference on Runtime verification10.1007/978-3-642-29860-8_26(345-359)Online publication date: 27-Sep-2011