Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bengt Jonsson
conf.researchr.org general profile
SPLASH 2018 profile
Not registered as user yet
Name:
Bengt Jonsson
Affiliation:
Uppsala University
Contributions
SPLASH 2018
Author of Optimal Stateless Model Checking under the Release-Acquire Semantics within the OOPSLA-track
Author of Optimal Stateless Model Checking under the Release-Acquire Semantics within the Artifacts-track
Share
x
Tue 18 Jun 16:06