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/ieicet/TranCA19.nt
. . . . "Nhat-Hoa Tran et al.: Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies. (2019)" . . _:ID_b0271dd494c1700901643275011aaa0a . _:ID_b0271dd494c1700901643275011aaa0a . _:ID_b0271dd494c1700901643275011aaa0a . _:ID_b0271dd494c1700901643275011aaa0a . _:ID_b0271dd494c1700901643275011aaa0a "journals/ieicet/TranCA19" . _:ID_df5489543fbfd086e9109deb308327f1 . _:ID_df5489543fbfd086e9109deb308327f1 . _:ID_df5489543fbfd086e9109deb308327f1 . _:ID_df5489543fbfd086e9109deb308327f1 . _:ID_df5489543fbfd086e9109deb308327f1 "10.1587/TRANSINF.2017EDP7391" . "Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies." . . . . . . . . "3"^^ . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_1 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_1 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_1 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_1 "Nhat-Hoa Tran" . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_1 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_1 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_1 "1"^^ . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_1 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_2 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_2 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_2 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_2 "Yuki Chiba" . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_2 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_2 "2"^^ . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_2 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_3 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_3 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_3 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_3 "Toshiaki Aoki" . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_3 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_3 . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_3 "3"^^ . _:Sig_737fbd92f04acf4dc4bcd2335ca4094e_3 . . . . . . "1280-1295" . "IEICE Trans. Inf. Syst." . "IEICE Trans. Inf. Syst." . "102-D" . "7" . "2019"^^ . "provenance information for RDF data of dblp record 'journals/ieicet/TranCA19'" . . . . "2022-12-07T23:03:47+0100" .