A Mini Challenge: Build a Verifiable Filesystem

@inproceedings{Joshi2005AMC,
  title={A Mini Challenge: Build a Verifiable Filesystem},
  author={Rajeev Joshi and Gerard J. Holzmann},
  booktitle={VSTTE},
  year={2005}
}
Highly Cited
This paper has 97 citations. REVIEW CITATIONS
58 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 58 extracted citations

97 Citations

01020'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 97 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…