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/popl/HeGWZ15.nt
. . . . . . "Fei He et al.: Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems. (2015)" . . . _:ID_04182dc8f5f5c307ea50d381f09e4746 . _:ID_04182dc8f5f5c307ea50d381f09e4746 . _:ID_04182dc8f5f5c307ea50d381f09e4746 . _:ID_04182dc8f5f5c307ea50d381f09e4746 . _:ID_04182dc8f5f5c307ea50d381f09e4746 "conf/popl/HeGWZ15" . _:ID_3277663dfd78c7cae0933c3b03616ce8 . _:ID_3277663dfd78c7cae0933c3b03616ce8 . _:ID_3277663dfd78c7cae0933c3b03616ce8 . _:ID_3277663dfd78c7cae0933c3b03616ce8 . _:ID_3277663dfd78c7cae0933c3b03616ce8 "10.1145/2676726.2676998" . _:ID_3277663dfd78c7cab76195aa2fd2da77 . _:ID_3277663dfd78c7cab76195aa2fd2da77 . _:ID_3277663dfd78c7cab76195aa2fd2da77 . _:ID_3277663dfd78c7cab76195aa2fd2da77 . _:ID_3277663dfd78c7cab76195aa2fd2da77 "10.1145/2775051.2676998" . "Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems." . . . . . . . . . . "4"^^ . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_1 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_1 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_1 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_1 "Fei He 0001" . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_1 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_1 "1"^^ . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_1 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_2 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_2 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_2 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_2 "Xiaowei Gao" . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_2 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_2 "2"^^ . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_2 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_3 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_3 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_3 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_3 "Bow-Yaw Wang" . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_3 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_3 "3"^^ . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_3 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_4 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_4 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_4 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_4 "Lijun Zhang 0001" . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_4 . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_4 "4"^^ . _:Sig_bc11fdc2df32acc3a24aa37bd9db3102_4 . . . . . . "503-514" . "POPL" . "POPL" . "2015"^^ . "2015"^^ . . "provenance information for RDF data of dblp record 'conf/popl/HeGWZ15'" . . . . "2022-06-16T17:14:42+0200" .