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/codes/ReimannGLKHT08.nt
. . . . "Felix Reimann et al.: Symbolic voter placement for dependability-aware system synthesis. (2008)" . . _:ID_810642bbea871ce393aec28fce7d6322 . _:ID_810642bbea871ce393aec28fce7d6322 . _:ID_810642bbea871ce393aec28fce7d6322 . _:ID_810642bbea871ce393aec28fce7d6322 . _:ID_810642bbea871ce393aec28fce7d6322 "conf/codes/ReimannGLKHT08" . _:ID_88b362255f9ddba6a840cd6a5bbb3712 . _:ID_88b362255f9ddba6a840cd6a5bbb3712 . _:ID_88b362255f9ddba6a840cd6a5bbb3712 . _:ID_88b362255f9ddba6a840cd6a5bbb3712 . _:ID_88b362255f9ddba6a840cd6a5bbb3712 "10.1145/1450135.1450190" . "Symbolic voter placement for dependability-aware system synthesis." . . . . . . . . . . . . . . "6"^^ . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_1 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_1 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_1 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_1 "Felix Reimann" . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_1 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_1 "1"^^ . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_1 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_2 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_2 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_2 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_2 "Michael Gla\u00DF" . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_2 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_2 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_2 "2"^^ . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_2 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_3 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_3 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_3 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_3 "Martin Lukasiewycz" . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_3 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_3 "3"^^ . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_3 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_4 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_4 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_4 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_4 "Joachim Keinert" . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_4 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_4 "4"^^ . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_4 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_5 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_5 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_5 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_5 "Christian Haubelt" . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_5 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_5 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_5 "5"^^ . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_5 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_6 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_6 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_6 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_6 "J\u00FCrgen Teich" . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_6 . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_6 "6"^^ . _:Sig_3393ee1dd0998e9f463c6df1b48fd4de_6 . . . . . "237-242" . "CODES+ISSS" . "CODES+ISSS" . "2008"^^ . "2008"^^ . . "provenance information for RDF data of dblp record 'conf/codes/ReimannGLKHT08'" . . . . "2020-10-25T23:18:39+0100" .