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.uni-trier.de/rec/conf/icpp/NandaB92.nt
. . . "Ashwini K. Nanda and Laxmi N. Bhuyan: A Formal Specification and Verification Technique for Cache Coherence Protocols. (1992)" . _:ID_f09c1a88766e2dce3e45ddb6aa25b94f . _:ID_f09c1a88766e2dce3e45ddb6aa25b94f . _:ID_f09c1a88766e2dce3e45ddb6aa25b94f . _:ID_f09c1a88766e2dce3e45ddb6aa25b94f . _:ID_f09c1a88766e2dce3e45ddb6aa25b94f "conf/icpp/NandaB92" . "A Formal Specification and Verification Technique for Cache Coherence Protocols." . . . . . . "2"^^ . _:Sig_07103245c627b31254b9f573f9df3e93_1 . _:Sig_07103245c627b31254b9f573f9df3e93_1 . _:Sig_07103245c627b31254b9f573f9df3e93_1 . _:Sig_07103245c627b31254b9f573f9df3e93_1 "Ashwini K. Nanda" . _:Sig_07103245c627b31254b9f573f9df3e93_1 . _:Sig_07103245c627b31254b9f573f9df3e93_1 "1"^^ . _:Sig_07103245c627b31254b9f573f9df3e93_1 . _:Sig_07103245c627b31254b9f573f9df3e93_2 . _:Sig_07103245c627b31254b9f573f9df3e93_2 . _:Sig_07103245c627b31254b9f573f9df3e93_2 . _:Sig_07103245c627b31254b9f573f9df3e93_2 "Laxmi N. Bhuyan" . _:Sig_07103245c627b31254b9f573f9df3e93_2 . _:Sig_07103245c627b31254b9f573f9df3e93_2 "2"^^ . _:Sig_07103245c627b31254b9f573f9df3e93_2 . . . "22-26" . "ICPP (1)" . "ICPP (1)" . "1992"^^ . "1992"^^ . . "provenance information for RDF data of dblp record 'conf/icpp/NandaB92'" . . . . "2014-07-28T17:06:01+0200" .