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.dagstuhl.de/rec/journals/scp/HasratJLS23.nt
. . . . . "Imran Riaz Hasrat et al.: A toolchain for domestic heat-pump control using Uppaal Stratego. (2023)" . . _:ID_90d1f447b6a5f026e20f08e822ff2a27 . _:ID_90d1f447b6a5f026e20f08e822ff2a27 . _:ID_90d1f447b6a5f026e20f08e822ff2a27 . _:ID_90d1f447b6a5f026e20f08e822ff2a27 . _:ID_90d1f447b6a5f026e20f08e822ff2a27 "journals/scp/HasratJLS23" . _:ID_bfff5fc761a450a37475d5a28ea1dbd0 . _:ID_bfff5fc761a450a37475d5a28ea1dbd0 . _:ID_bfff5fc761a450a37475d5a28ea1dbd0 . _:ID_bfff5fc761a450a37475d5a28ea1dbd0 . _:ID_bfff5fc761a450a37475d5a28ea1dbd0 "10.1016/J.SCICO.2023.102987" . "A toolchain for domestic heat-pump control using Uppaal Stratego." . . . . . . . . . . "4"^^ . _:Sig_542a9406122f4f6aa567a8a67e88896b_1 . _:Sig_542a9406122f4f6aa567a8a67e88896b_1 . _:Sig_542a9406122f4f6aa567a8a67e88896b_1 . _:Sig_542a9406122f4f6aa567a8a67e88896b_1 "Imran Riaz Hasrat" . _:Sig_542a9406122f4f6aa567a8a67e88896b_1 . _:Sig_542a9406122f4f6aa567a8a67e88896b_1 . _:Sig_542a9406122f4f6aa567a8a67e88896b_1 "1"^^ . _:Sig_542a9406122f4f6aa567a8a67e88896b_1 . _:Sig_542a9406122f4f6aa567a8a67e88896b_2 . _:Sig_542a9406122f4f6aa567a8a67e88896b_2 . _:Sig_542a9406122f4f6aa567a8a67e88896b_2 . _:Sig_542a9406122f4f6aa567a8a67e88896b_2 "Peter Gj\u00F8l Jensen" . _:Sig_542a9406122f4f6aa567a8a67e88896b_2 . _:Sig_542a9406122f4f6aa567a8a67e88896b_2 . _:Sig_542a9406122f4f6aa567a8a67e88896b_2 "2"^^ . _:Sig_542a9406122f4f6aa567a8a67e88896b_2 . _:Sig_542a9406122f4f6aa567a8a67e88896b_3 . _:Sig_542a9406122f4f6aa567a8a67e88896b_3 . _:Sig_542a9406122f4f6aa567a8a67e88896b_3 . _:Sig_542a9406122f4f6aa567a8a67e88896b_3 "Kim Guldstrand Larsen" . _:Sig_542a9406122f4f6aa567a8a67e88896b_3 . _:Sig_542a9406122f4f6aa567a8a67e88896b_3 . _:Sig_542a9406122f4f6aa567a8a67e88896b_3 "3"^^ . _:Sig_542a9406122f4f6aa567a8a67e88896b_3 . _:Sig_542a9406122f4f6aa567a8a67e88896b_4 . _:Sig_542a9406122f4f6aa567a8a67e88896b_4 . _:Sig_542a9406122f4f6aa567a8a67e88896b_4 . _:Sig_542a9406122f4f6aa567a8a67e88896b_4 "Jir\u00ED Srba" . _:Sig_542a9406122f4f6aa567a8a67e88896b_4 . _:Sig_542a9406122f4f6aa567a8a67e88896b_4 . _:Sig_542a9406122f4f6aa567a8a67e88896b_4 "4"^^ . _:Sig_542a9406122f4f6aa567a8a67e88896b_4 . . . . . "102987" . "Sci. Comput. Program." . "Sci. Comput. Program." . "230" . "2023"^^ . "--08"^^ . "provenance information for RDF data of dblp record 'journals/scp/HasratJLS23'" . . . . "2024-05-07T20:26:28+0200" .