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/journals/sttt/ArtsED04.nt
. . . . . "Thomas Arts et al.: Development of a verified Erlang program for resource locking. (2004)" . . _:ID_b94b1336720afacf4b3c00e220736550 . _:ID_b94b1336720afacf4b3c00e220736550 . _:ID_b94b1336720afacf4b3c00e220736550 . _:ID_b94b1336720afacf4b3c00e220736550 . _:ID_b94b1336720afacf4b3c00e220736550 "journals/sttt/ArtsED04" . _:ID_a0bb1f41839b09cca5528ef3a4543144 . _:ID_a0bb1f41839b09cca5528ef3a4543144 . _:ID_a0bb1f41839b09cca5528ef3a4543144 . _:ID_a0bb1f41839b09cca5528ef3a4543144 . _:ID_a0bb1f41839b09cca5528ef3a4543144 "10.1007/S10009-003-0114-9" . "Development of a verified Erlang program for resource locking." . . . . . . . . "3"^^ . _:Sig_71831b0540e8bc13037408b0ef512694_1 . _:Sig_71831b0540e8bc13037408b0ef512694_1 . _:Sig_71831b0540e8bc13037408b0ef512694_1 . _:Sig_71831b0540e8bc13037408b0ef512694_1 "Thomas Arts" . _:Sig_71831b0540e8bc13037408b0ef512694_1 . _:Sig_71831b0540e8bc13037408b0ef512694_1 "1"^^ . _:Sig_71831b0540e8bc13037408b0ef512694_1 . _:Sig_71831b0540e8bc13037408b0ef512694_2 . _:Sig_71831b0540e8bc13037408b0ef512694_2 . _:Sig_71831b0540e8bc13037408b0ef512694_2 . _:Sig_71831b0540e8bc13037408b0ef512694_2 "Clara Benac Earle" . _:Sig_71831b0540e8bc13037408b0ef512694_2 . _:Sig_71831b0540e8bc13037408b0ef512694_2 . _:Sig_71831b0540e8bc13037408b0ef512694_2 "2"^^ . _:Sig_71831b0540e8bc13037408b0ef512694_2 . _:Sig_71831b0540e8bc13037408b0ef512694_3 . _:Sig_71831b0540e8bc13037408b0ef512694_3 . _:Sig_71831b0540e8bc13037408b0ef512694_3 . _:Sig_71831b0540e8bc13037408b0ef512694_3 "John Derrick" . _:Sig_71831b0540e8bc13037408b0ef512694_3 . _:Sig_71831b0540e8bc13037408b0ef512694_3 "3"^^ . _:Sig_71831b0540e8bc13037408b0ef512694_3 . . . . . "205-220" . "Int. J. Softw. Tools Technol. Transf." . "Int. J. Softw. Tools Technol. Transf." . "5" . "2-3" . "2004"^^ . "provenance information for RDF data of dblp record 'journals/sttt/ArtsED04'" . . . . "2020-04-02T08:37:31+0200" .