Normal view
MARC view
- Atif, Muhammad
Atif, Muhammad (Personal Name)
Machine generated authority record.
Work cat.: (NUST): Atif, Muhammad, Formal modeling and verification of distributed failure detectors, 2011