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/tacas/FuBHS01.nt
. . . . "Xiang Fu et al.: Verification of Vortex Workflows. (2001)" . . _:ID_95c53aa55c60edeee36efdd39018796f . _:ID_95c53aa55c60edeee36efdd39018796f . _:ID_95c53aa55c60edeee36efdd39018796f . _:ID_95c53aa55c60edeee36efdd39018796f . _:ID_95c53aa55c60edeee36efdd39018796f "conf/tacas/FuBHS01" . _:ID_37a926f53a6219eb62ccbd89d140c856 . _:ID_37a926f53a6219eb62ccbd89d140c856 . _:ID_37a926f53a6219eb62ccbd89d140c856 . _:ID_37a926f53a6219eb62ccbd89d140c856 . _:ID_37a926f53a6219eb62ccbd89d140c856 "10.1007/3-540-45319-9_11" . "Verification of Vortex Workflows." . . . . . . . . . . "4"^^ . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_1 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_1 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_1 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_1 "Xiang Fu 0001" . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_1 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_1 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_1 "1"^^ . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_1 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_2 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_2 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_2 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_2 "Tevfik Bultan" . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_2 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_2 "2"^^ . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_2 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_3 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_3 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_3 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_3 "Richard Hull 0001" . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_3 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_3 "3"^^ . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_3 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_4 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_4 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_4 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_4 "Jianwen Su" . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_4 . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_4 "4"^^ . _:Sig_ac395262ac1a7332f9e31590dfd1feb3_4 . . . . . . "143-157" . "TACAS" . "TACAS" . "2001"^^ . "2001"^^ . . "provenance information for RDF data of dblp record 'conf/tacas/FuBHS01'" . . . . "2024-10-06T21:15:24+0200" .