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.uni-trier.de/rec/conf/lctrts/HenzingerHK01.nt
. . . . . . . "Thomas A. Henzinger et al.: Embedded Control Systems Development with Giotto. (2001)" . . . _:ID_52762bbf797d4a59651eab935d739098 . _:ID_52762bbf797d4a59651eab935d739098 . _:ID_52762bbf797d4a59651eab935d739098 . _:ID_52762bbf797d4a59651eab935d739098 . _:ID_52762bbf797d4a59651eab935d739098 "conf/lctrts/HenzingerHK01" . _:ID_5a234b28ee94091cb3d0a1abaa442b40 . _:ID_5a234b28ee94091cb3d0a1abaa442b40 . _:ID_5a234b28ee94091cb3d0a1abaa442b40 . _:ID_5a234b28ee94091cb3d0a1abaa442b40 . _:ID_5a234b28ee94091cb3d0a1abaa442b40 "10.1145/384197.384208" . _:ID_5a234b28ee94091c8ca58af887c5333f . _:ID_5a234b28ee94091c8ca58af887c5333f . _:ID_5a234b28ee94091c8ca58af887c5333f . _:ID_5a234b28ee94091c8ca58af887c5333f . _:ID_5a234b28ee94091c8ca58af887c5333f "10.1145/384196.384208" . "Embedded Control Systems Development with Giotto." . . . . . . . . "3"^^ . _:Sig_0503d7215f8fbc1517ac56f543860254_1 . _:Sig_0503d7215f8fbc1517ac56f543860254_1 . _:Sig_0503d7215f8fbc1517ac56f543860254_1 . _:Sig_0503d7215f8fbc1517ac56f543860254_1 "Thomas A. Henzinger" . _:Sig_0503d7215f8fbc1517ac56f543860254_1 . _:Sig_0503d7215f8fbc1517ac56f543860254_1 "1"^^ . _:Sig_0503d7215f8fbc1517ac56f543860254_1 . _:Sig_0503d7215f8fbc1517ac56f543860254_2 . _:Sig_0503d7215f8fbc1517ac56f543860254_2 . _:Sig_0503d7215f8fbc1517ac56f543860254_2 . _:Sig_0503d7215f8fbc1517ac56f543860254_2 "Benjamin Horowitz" . _:Sig_0503d7215f8fbc1517ac56f543860254_2 . _:Sig_0503d7215f8fbc1517ac56f543860254_2 "2"^^ . _:Sig_0503d7215f8fbc1517ac56f543860254_2 . _:Sig_0503d7215f8fbc1517ac56f543860254_3 . _:Sig_0503d7215f8fbc1517ac56f543860254_3 . _:Sig_0503d7215f8fbc1517ac56f543860254_3 . _:Sig_0503d7215f8fbc1517ac56f543860254_3 "Christoph M. Kirsch" . _:Sig_0503d7215f8fbc1517ac56f543860254_3 . _:Sig_0503d7215f8fbc1517ac56f543860254_3 "3"^^ . _:Sig_0503d7215f8fbc1517ac56f543860254_3 . . . . . . "64-72" . "LCTES/OM" . "LCTES/OM" . "2001"^^ . "2001"^^ . . "provenance information for RDF data of dblp record 'conf/lctrts/HenzingerHK01'" . . . . "2021-07-07T17:30:33+0200" .