iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/journals/corr/abs-2104-10542.nt
.
.
"Jan Friso Groote and Jeroen J. A. Keiren: Tutorial: Designing Distributed Software in mCRL2. (2021)" .
_:ID_f5b559965414a456583951f098e03d57 . _:ID_f5b559965414a456583951f098e03d57
. _:ID_f5b559965414a456583951f098e03d57
. _:ID_f5b559965414a456583951f098e03d57
. _:ID_f5b559965414a456583951f098e03d57
"journals/corr/abs-2104-10542" .
_:ID_04e748e79e89b6e999a5ca37c40f543e . _:ID_04e748e79e89b6e999a5ca37c40f543e
. _:ID_04e748e79e89b6e999a5ca37c40f543e
. _:ID_04e748e79e89b6e999a5ca37c40f543e
. _:ID_04e748e79e89b6e999a5ca37c40f543e
"2104.10542" .
"Tutorial: Designing Distributed Software in mCRL2." .
.
.
.
.
.
"2"^^
.
_:Sig_e297787348a83f9a451b70cd8d73d89b_1 . _:Sig_e297787348a83f9a451b70cd8d73d89b_1
. _:Sig_e297787348a83f9a451b70cd8d73d89b_1
. _:Sig_e297787348a83f9a451b70cd8d73d89b_1
"Jan Friso Groote" . _:Sig_e297787348a83f9a451b70cd8d73d89b_1
. _:Sig_e297787348a83f9a451b70cd8d73d89b_1
"1"^^
. _:Sig_e297787348a83f9a451b70cd8d73d89b_1
.
_:Sig_e297787348a83f9a451b70cd8d73d89b_2 . _:Sig_e297787348a83f9a451b70cd8d73d89b_2
. _:Sig_e297787348a83f9a451b70cd8d73d89b_2
. _:Sig_e297787348a83f9a451b70cd8d73d89b_2
"Jeroen J. A. Keiren" . _:Sig_e297787348a83f9a451b70cd8d73d89b_2
. _:Sig_e297787348a83f9a451b70cd8d73d89b_2
"2"^^
. _:Sig_e297787348a83f9a451b70cd8d73d89b_2
.
.
.
.
.
"CoRR" .
"CoRR" .
"abs/2104.10542" .
"2021"^^
.
"provenance information for RDF data of dblp record 'journals/corr/abs-2104-10542'" .
.
.
.
"2021-04-26T17:25:10+0200" .
