Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ghassan Chehaibar

Integrating Formal Verification With Murφ of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English