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/journals/sttt/MunozCDB03.nt
. . . . "C\u00E9sar A. Mu\u00F1oz et al.: Formal verification of conflict detection algorithms. (2003)" . . _:ID_7268f11e2945eacfc3a605be959f24d0 . _:ID_7268f11e2945eacfc3a605be959f24d0 . _:ID_7268f11e2945eacfc3a605be959f24d0 . _:ID_7268f11e2945eacfc3a605be959f24d0 . _:ID_7268f11e2945eacfc3a605be959f24d0 "journals/sttt/MunozCDB03" . _:ID_a1965c9dd4444b4cdd42d1dbe5dfe937 . _:ID_a1965c9dd4444b4cdd42d1dbe5dfe937 . _:ID_a1965c9dd4444b4cdd42d1dbe5dfe937 . _:ID_a1965c9dd4444b4cdd42d1dbe5dfe937 . _:ID_a1965c9dd4444b4cdd42d1dbe5dfe937 "10.1007/S10009-002-0084-3" . "Formal verification of conflict detection algorithms." . . . . . . . . . . "4"^^ . _:Sig_35c190dc84cf4a1386fea57cf1288414_1 . _:Sig_35c190dc84cf4a1386fea57cf1288414_1 . _:Sig_35c190dc84cf4a1386fea57cf1288414_1 . _:Sig_35c190dc84cf4a1386fea57cf1288414_1 "C\u00E9sar A. Mu\u00F1oz" . _:Sig_35c190dc84cf4a1386fea57cf1288414_1 . _:Sig_35c190dc84cf4a1386fea57cf1288414_1 "1"^^ . _:Sig_35c190dc84cf4a1386fea57cf1288414_1 . _:Sig_35c190dc84cf4a1386fea57cf1288414_2 . _:Sig_35c190dc84cf4a1386fea57cf1288414_2 . _:Sig_35c190dc84cf4a1386fea57cf1288414_2 . _:Sig_35c190dc84cf4a1386fea57cf1288414_2 "Victor Carre\u00F1o" . _:Sig_35c190dc84cf4a1386fea57cf1288414_2 . _:Sig_35c190dc84cf4a1386fea57cf1288414_2 "2"^^ . _:Sig_35c190dc84cf4a1386fea57cf1288414_2 . _:Sig_35c190dc84cf4a1386fea57cf1288414_3 . _:Sig_35c190dc84cf4a1386fea57cf1288414_3 . _:Sig_35c190dc84cf4a1386fea57cf1288414_3 . _:Sig_35c190dc84cf4a1386fea57cf1288414_3 "Gilles Dowek" . _:Sig_35c190dc84cf4a1386fea57cf1288414_3 . _:Sig_35c190dc84cf4a1386fea57cf1288414_3 . _:Sig_35c190dc84cf4a1386fea57cf1288414_3 "3"^^ . _:Sig_35c190dc84cf4a1386fea57cf1288414_3 . _:Sig_35c190dc84cf4a1386fea57cf1288414_4 . _:Sig_35c190dc84cf4a1386fea57cf1288414_4 . _:Sig_35c190dc84cf4a1386fea57cf1288414_4 . _:Sig_35c190dc84cf4a1386fea57cf1288414_4 "Ricky W. Butler" . _:Sig_35c190dc84cf4a1386fea57cf1288414_4 . _:Sig_35c190dc84cf4a1386fea57cf1288414_4 "4"^^ . _:Sig_35c190dc84cf4a1386fea57cf1288414_4 . . . . . "371-380" . "Int. J. Softw. Tools Technol. Transf." . "Int. J. Softw. Tools Technol. Transf." . "4" . "3" . "2003"^^ . "provenance information for RDF data of dblp record 'journals/sttt/MunozCDB03'" . . . . "2020-04-02T08:37:19+0200" .