×

Found 2 Documents (Results 1–2)

Verification of concurrent programs on weak memory models. (English) Zbl 1482.68147

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 3-24 (2016).
MSC:  68Q60 68N30 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

all top 3

Software