iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/rc/LuogoMP24.nt
.
.
.
.
"Federico Dal Pio Luogo et al.: Model Checking Reversible Systems: Forwardly. (2024)" .
.
_:ID_b21441ac013cfc9f984ce764fbe580de . _:ID_b21441ac013cfc9f984ce764fbe580de
. _:ID_b21441ac013cfc9f984ce764fbe580de
. _:ID_b21441ac013cfc9f984ce764fbe580de
. _:ID_b21441ac013cfc9f984ce764fbe580de
"conf/rc/LuogoMP24" .
_:ID_e0737a2108c00162e68b12985332b7f6 . _:ID_e0737a2108c00162e68b12985332b7f6
. _:ID_e0737a2108c00162e68b12985332b7f6
. _:ID_e0737a2108c00162e68b12985332b7f6
. _:ID_e0737a2108c00162e68b12985332b7f6
"10.1007/978-3-031-62076-8_14" .
"Model Checking Reversible Systems: Forwardly." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_1 . _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_1
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_1
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_1
"Federico Dal Pio Luogo" . _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_1
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_1
"1"^^
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_1
.
_:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_2 . _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_2
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_2
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_2
"Claudio Antares Mezzina" . _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_2
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_2
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_2
"2"^^
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_2
.
_:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_3 . _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_3
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_3
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_3
"G. Michele Pinna" . _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_3
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_3
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_3
"3"^^
. _:Sig_6a0e11a5ea79e65b5046b75ee5226a9a_3
.
.
.
.
.
"218-237" .
"RC" .
"RC" .
"2024"^^
.
"2024"^^
.
.
"provenance information for RDF data of dblp record 'conf/rc/LuogoMP24'" .
.
.
.
"2024-06-18T09:23:50+0200" .
