Toggle navigation
Nuno Machado's Homepage
Home
Experience
Publications
Projects
Testing for Race Conditions in Distributed Systems via SMT Solving
J. Pereira, N. Machado, J. S. Pinto
Type
Conference paper
Publication
in
TAP
Date
March, 2020
Links
PDF
×
Cite