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/GoldmanPM14.nt
. . . . "Robert P. Goldman et al.: A loop acceleration technique to speed up verification of automatically generated plans. (2014)" . . _:ID_aeeef50452e255fec19774d836d89c3d . _:ID_aeeef50452e255fec19774d836d89c3d . _:ID_aeeef50452e255fec19774d836d89c3d . _:ID_aeeef50452e255fec19774d836d89c3d . _:ID_aeeef50452e255fec19774d836d89c3d "journals/sttt/GoldmanPM14" . _:ID_b69c146dc7f914c102180ee41baaf3ed . _:ID_b69c146dc7f914c102180ee41baaf3ed . _:ID_b69c146dc7f914c102180ee41baaf3ed . _:ID_b69c146dc7f914c102180ee41baaf3ed . _:ID_b69c146dc7f914c102180ee41baaf3ed "10.1007/S10009-013-0284-Z" . "A loop acceleration technique to speed up verification of automatically generated plans." . . . . . . . . "3"^^ . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_1 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_1 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_1 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_1 "Robert P. Goldman" . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_1 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_1 "1"^^ . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_1 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_2 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_2 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_2 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_2 "Michael J. S. Pelican" . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_2 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_2 "2"^^ . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_2 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_3 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_3 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_3 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_3 "David J. Musliner" . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_3 . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_3 "3"^^ . _:Sig_617ca06638f4c7ba7425203a1ceb0df9_3 . . . . . "13-29" . "Int. J. Softw. Tools Technol. Transf." . "Int. J. Softw. Tools Technol. Transf." . "16" . "1" . "2014"^^ . "provenance information for RDF data of dblp record 'journals/sttt/GoldmanPM14'" . . . . "2020-04-02T08:37:28+0200" .