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/dsn/SchiperRRBC14.nt
. . . . "Nicolas Schiper et al.: Developing Correctly Replicated Databases Using Formal Tools. (2014)" . . _:ID_057d17afa6acc796976e055b55153217 . _:ID_057d17afa6acc796976e055b55153217 . _:ID_057d17afa6acc796976e055b55153217 . _:ID_057d17afa6acc796976e055b55153217 . _:ID_057d17afa6acc796976e055b55153217 "conf/dsn/SchiperRRBC14" . _:ID_eced23bab83cd693d042645b49465dfd . _:ID_eced23bab83cd693d042645b49465dfd . _:ID_eced23bab83cd693d042645b49465dfd . _:ID_eced23bab83cd693d042645b49465dfd . _:ID_eced23bab83cd693d042645b49465dfd "10.1109/DSN.2014.45" . "Developing Correctly Replicated Databases Using Formal Tools." . . . . . . . . . . . . "5"^^ . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_1 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_1 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_1 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_1 "Nicolas Schiper" . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_1 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_1 "1"^^ . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_1 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_2 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_2 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_2 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_2 "Vincent Rahli" . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_2 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_2 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_2 "2"^^ . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_2 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_3 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_3 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_3 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_3 "Robbert van Renesse" . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_3 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_3 "3"^^ . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_3 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_4 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_4 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_4 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_4 "Mark Bickford" . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_4 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_4 "4"^^ . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_4 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_5 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_5 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_5 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_5 "Robert L. Constable" . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_5 . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_5 "5"^^ . _:Sig_bdb51f7e758a88da4fa60d2a23f2f35b_5 . . . . . . "395-406" . "DSN" . "DSN" . "2014"^^ . "2014"^^ . . "provenance information for RDF data of dblp record 'conf/dsn/SchiperRRBC14'" . . . . "2023-03-24T00:01:46+0100" .