Computer-aided verification of coordinating processes: the automata-theoretic approach
Computer-aided verification of coordinating processes: the automata-theoretic approach
Automated proofs of object code for a widely used microprocessor
Journal of the ACM (JACM)
Reaching Agreement in the Presence of Faults
Journal of the ACM (JACM)
An Invitation to Formal Methods
Computer
Hi-index | 48.22 |