Publications

Publications

Department DCS - Academic Staff
Email muhammad.atif@cs.uol.edu.pk
Paper TitleFormal Verification of Unreliable Failure Detectors in Partially Synchronous Systems
CategoryConferences
TypeConference Paper
Sub Title
Book Title
Publication Date//2012
Issue
Page No.
Book Acronym
ISSN/DOI/ISBN
HEC Category
Impact Factor