iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/aiccsa/El-BaidaB01.xml
Rami El-Baïda Jean Paul Bahsoun Automatic Verification of Concurrent Object Properties. 411- 2001 conf/aiccsa/2001 AICCSA https://doi.org/10.1109/AICCSA.2001.934027 https://doi.ieeecomputersociety.org/10.1109/AICCSA.2001.934027 db/conf/aiccsa/aiccsa2001.html#El-BaidaB01