iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/wrla/RochaMM14.nt
.
.
.
.
"Camilo Rocha et al.: Rewriting Modulo SMT and Open System Analysis. (2014)" .
.
_:ID_2ef616a4c05fb4cd0eeb52bb060c098c . _:ID_2ef616a4c05fb4cd0eeb52bb060c098c
. _:ID_2ef616a4c05fb4cd0eeb52bb060c098c
. _:ID_2ef616a4c05fb4cd0eeb52bb060c098c
. _:ID_2ef616a4c05fb4cd0eeb52bb060c098c
"conf/wrla/RochaMM14" .
_:ID_f25d1c4d8ea6881008f03a21770bfff6 . _:ID_f25d1c4d8ea6881008f03a21770bfff6
. _:ID_f25d1c4d8ea6881008f03a21770bfff6
. _:ID_f25d1c4d8ea6881008f03a21770bfff6
. _:ID_f25d1c4d8ea6881008f03a21770bfff6
"10.1007/978-3-319-12904-4_14" .
"Rewriting Modulo SMT and Open System Analysis." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_cd453df4e44b8089ad3a7a0b29f7d548_1 . _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_1
. _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_1
. _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_1
"Camilo Rocha" . _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_1
. _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_1
. _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_1
"1"^^
. _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_1
.
_:Sig_cd453df4e44b8089ad3a7a0b29f7d548_2 . _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_2
. _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_2
. _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_2
"Jos\u00E9 Meseguer 0001" . _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_2
. _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_2
"2"^^
. _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_2
.
_:Sig_cd453df4e44b8089ad3a7a0b29f7d548_3 . _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_3
. _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_3
. _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_3
"C\u00E9sar A. Mu\u00F1oz" . _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_3
. _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_3
"3"^^
. _:Sig_cd453df4e44b8089ad3a7a0b29f7d548_3
.
.
.
.
.
.
"247-262" .
"WRLA" .
"WRLA" .
"2014"^^
.
"2014"^^
.
.
"provenance information for RDF data of dblp record 'conf/wrla/RochaMM14'" .
.
.
.
"2023-09-20T08:58:10+0200" .
