Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Vaziri, Mandana - Program Analysis and Transformation Group, IBM T.J. Watson Research Center
Model Checking Software Systems: A Case Study Jeannette M. Wing*and Mandana Vaziri-Farahanit
Programming ELSEVIER Science of ComputerProgramming28 (1997) 273-299
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Model Checking Cache Coherence Protocols for Distributed File Systems
IOA: A Language for Specifying, Programming, and Validating Distributed Systems
