Article citationsMore>>

Yang, J., et al. (2006) Using Model Checking to Find Serious File System Errors. ACM Transactions on Computer Systems, 24, 393-423.
https://doi.org/10.1145/1189256.1189259

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top