Travelled to:1 × Brazil
1 × USA
Collaborated with:G.Gardarin F.Arbab L.Lichten
Talks about:transact (1) databas (1) consist (1) toward (1) orient (1) prove (1) cam (1) cad (1)
Person: Michel A. Melkanoff
DBLP: Melkanoff:Michel_A=
Contributed to:
1982
1979Wrote 2 papers:
- DAC-1982-ArbabLM #towards
- Toward CAM-oriented CAD (FA, LL, MAM), pp. 239–245.
- VLDB-1979-GardarinM #consistency #database #proving #transaction
- Proving Consistency of Database Transactions (GG, MAM), pp. 291–298.