E
Elie Najm
3 works on record
Works

Formal techniques for networked and distributed systems
Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
Formal Techniques for Networked and Distributed Systems - FORTE 2006
Formal Techniques for Networked and Distributed Systems - FORTE 2006