iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/conf/compsac/Choi10.nt
.
.
.
.
.
"Yunja Choi: Systematic Composition and Verification of Abstract Components. (2010)" .
.
_:ID_0a40a7c4af932431ea35e3daf53f78f0 . _:ID_0a40a7c4af932431ea35e3daf53f78f0
. _:ID_0a40a7c4af932431ea35e3daf53f78f0
. _:ID_0a40a7c4af932431ea35e3daf53f78f0
. _:ID_0a40a7c4af932431ea35e3daf53f78f0
"conf/compsac/Choi10" .
_:ID_cda7ad6d7dd9f774ff0e222bf39f26bd . _:ID_cda7ad6d7dd9f774ff0e222bf39f26bd
. _:ID_cda7ad6d7dd9f774ff0e222bf39f26bd
. _:ID_cda7ad6d7dd9f774ff0e222bf39f26bd
. _:ID_cda7ad6d7dd9f774ff0e222bf39f26bd
"10.1109/COMPSAC.2010.58" .
"Systematic Composition and Verification of Abstract Components." .
.
.
.
"1"^^
.
_:Sig_a88fcf14d37eefed88850b2b192b44ac_1 . _:Sig_a88fcf14d37eefed88850b2b192b44ac_1
. _:Sig_a88fcf14d37eefed88850b2b192b44ac_1
. _:Sig_a88fcf14d37eefed88850b2b192b44ac_1
"Yunja Choi" . _:Sig_a88fcf14d37eefed88850b2b192b44ac_1
. _:Sig_a88fcf14d37eefed88850b2b192b44ac_1
"1"^^
. _:Sig_a88fcf14d37eefed88850b2b192b44ac_1
.
.
.
.
.
.
"525-530" .
"COMPSAC" .
"COMPSAC" .
"2010"^^
.
"2010"^^
.
.
"provenance information for RDF data of dblp record 'conf/compsac/Choi10'" .
.
.
.
"2023-03-24T00:01:40+0100" .
