Rami El-Baïda

List of publications from the DBLP Bibliography Server - FAQ

2001

2 EE Rami El-Baïda, Jean Paul Bahsoun: Automatic Verification of Concurrent Object Properties. AICCSA 2001: 411-

1999

1 EE Jean Paul Bahsoun, Rami El-Baïda, Hugues-Olivier Yar: Decision Procedure for Temporal Logic of Concurrent Objects. Euro-Par 1999: 1344-1352

2001
2	EE	Rami El-Baïda, Jean Paul Bahsoun: Automatic Verification of Concurrent Object Properties. AICCSA 2001: 411-
1999
1	EE	Jean Paul Bahsoun, Rami El-Baïda, Hugues-Olivier Yar: Decision Procedure for Temporal Logic of Concurrent Objects. Euro-Par 1999: 1344-1352

Coauthor Index