Translated title of the contribution | Dynamic Reductions for Model Checking Concurrent Software |
---|---|
Original language | English |
Volume | abs/1611.09318 |
Publication status | Published - 2016 |
Bibliographical note
Arxive CORRFields of Science and Technology Classification 2012
- 102 Computer Sciences