View in EDS HTML Full Text PDF Full Text

An Abstraction Technique for Verifying Shared-Memory Concurrency †.

Saved in:

Bibliographic Details
Title:	An Abstraction Technique for Verifying Shared-Memory Concurrency †.
Authors:	Oortwijn, Wytse¹, wytse.oortwijn@inf.ethz.ch, Gurov, Dilian², dilian@kth.se, Huisman, Marieke³, m.huisman@utwente.nl
Source:	Applied Sciences (2076-3417); Jun2020, Vol. 10 Issue 11, p3928, 48p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	20763417
DOI:	10.3390/app10113928