Rami El-Baïda

Publication Activity (10 Years)

Years Active: 1999-2001
Publications (10 Years): 0

Publications

Rami El-Baïda, Jean Paul Bahsoun
Automatic Verification of Concurrent Object Properties. AICCSA (2001)
Jean Paul Bahsoun, Rami El-Baïda, Hugues-Olivier Yar
Decision Procedure for Temporal Logic of Concurrent Objects. Euro-Par (1999)