I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Model-checking task-parallel programs for data-race:

Nakade, Radha ; Mercer, Eric ; Aldous, Peter...
Innovations in Systems and Software Engineering.  15 (2019)  3-4 - p. 289-306 , 2019
Link: https://doi.org/10.1007/s11334-019-00343-5