A concurrent speci cation of POSIX file systems technical report

Autor:	Ntzik, G, Da Rocha Pinto, PM, Sutherland, J, Gardner, P
Rok vydání:	2018
DOI:	10.25561/94879
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9495f83e818f3f7fc969863580433ee0 Zobrazit plný text záznamu