Conference Proceedings

Specifying a realistic file system

S Amani, T Murray, R van Glabbeek, J Friso Groote, P Höfner

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | EPTCS | Published : 2015

DOI: 10.4204/EPTCS.196.1

Download PDF

Citation metrics

3Web of Science
6Scopus

Keywords

Science & Technology
Computer Science
Technology
Computer Science, Theory & Methods