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

Hunting Superfluous Locks with Model Checking:

Nguyen, Viet-Anh ; Serwe, Wendelin ; Mateescu, Radu.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-30985-5_24.  , 2019
Link: https://hal.inria.fr/hal-02314088