iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/conf/lcpc/CorberaAZ00.nt
.
.
.
.
.
"Francisco Corbera et al.: Accurate Shape Analysis for Recursive Data Structures. (2000)" .
.
_:ID_955326427a0956d6a70e5b2164d93c15 . _:ID_955326427a0956d6a70e5b2164d93c15
. _:ID_955326427a0956d6a70e5b2164d93c15
. _:ID_955326427a0956d6a70e5b2164d93c15
. _:ID_955326427a0956d6a70e5b2164d93c15
"conf/lcpc/CorberaAZ00" .
_:ID_acee3e878d14b899ad0b66626407119d . _:ID_acee3e878d14b899ad0b66626407119d
. _:ID_acee3e878d14b899ad0b66626407119d
. _:ID_acee3e878d14b899ad0b66626407119d
. _:ID_acee3e878d14b899ad0b66626407119d
"10.1007/3-540-45574-4_1" .
"Accurate Shape Analysis for Recursive Data Structures." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_7be12189ab5304928d9c56689622e9d1_1 . _:Sig_7be12189ab5304928d9c56689622e9d1_1
. _:Sig_7be12189ab5304928d9c56689622e9d1_1
. _:Sig_7be12189ab5304928d9c56689622e9d1_1
"Francisco Corbera" . _:Sig_7be12189ab5304928d9c56689622e9d1_1
. _:Sig_7be12189ab5304928d9c56689622e9d1_1
"1"^^
. _:Sig_7be12189ab5304928d9c56689622e9d1_1
.
_:Sig_7be12189ab5304928d9c56689622e9d1_2 . _:Sig_7be12189ab5304928d9c56689622e9d1_2
. _:Sig_7be12189ab5304928d9c56689622e9d1_2
. _:Sig_7be12189ab5304928d9c56689622e9d1_2
"Rafael Asenjo" . _:Sig_7be12189ab5304928d9c56689622e9d1_2
. _:Sig_7be12189ab5304928d9c56689622e9d1_2
. _:Sig_7be12189ab5304928d9c56689622e9d1_2
"2"^^
. _:Sig_7be12189ab5304928d9c56689622e9d1_2
.
_:Sig_7be12189ab5304928d9c56689622e9d1_3 . _:Sig_7be12189ab5304928d9c56689622e9d1_3
. _:Sig_7be12189ab5304928d9c56689622e9d1_3
. _:Sig_7be12189ab5304928d9c56689622e9d1_3
"Emilio L. Zapata" . _:Sig_7be12189ab5304928d9c56689622e9d1_3
. _:Sig_7be12189ab5304928d9c56689622e9d1_3
"3"^^
. _:Sig_7be12189ab5304928d9c56689622e9d1_3
.
.
.
.
.
"1-15" .
"LCPC" .
"LCPC" .
"2000"^^
.
"2001"^^
.
.
"provenance information for RDF data of dblp record 'conf/lcpc/CorberaAZ00'" .
.
.
.
"2018-11-02T09:47:56+0100" .
