Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
PT
P Taverne
Academic Work (1)
Conference paper (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
RAFFS: Model Checking a Robust Abstract Flash File Store
Conference paper (2009) -
P Taverne (author)
,
C. Pronk (author)
