Information Sciences · 2016 · 40 citations · 29 references
EngineeringComputer ScienceMathematicsFormal MethodsModel-based Systems EngineeringSystems ModelingDeductive VerificationFinite State Machine ModelingModel CheckingModel ExecutionModel FormulationModel TheoryFinite-state VerificationModel-based VerificationProperty VerificationTemporal Logic VerificationTimed Model Checking
29
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.9K citations
Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations
Scale and performance in a distributed file system
John H. Howard, Michael L. Kazar, Sherri G. Menees et al. · ACM Transactions on Computer Systems · 1988 · 1.4K citations