XSpeed: Accelerating reachability analysis on multi-core processors
- Rajarshi Ray*
- , Amit Gurung
- , Binayak Das
- , Ezio Bartocci
- , Sergiy Bogomolov
- , Radu Grosu
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
47
Citations
(Scopus)