×

Found 26 Documents (Results 1–26)

Concurrent correctness in vector space. (English) Zbl 1472.68092

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 151-173 (2021).
MSC:  68Q60 68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software