iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/erlang/HristovB24.nt
.
.
.
.
"Marian Hristov and Annette Bieniusa: Erla\u207A: Translating TLA\u207A Models into Executable Actor-Based Implementations. (2024)" .
.
_:ID_1ef1e0b055821de7b0e2ce5c03ea8868 . _:ID_1ef1e0b055821de7b0e2ce5c03ea8868
. _:ID_1ef1e0b055821de7b0e2ce5c03ea8868
. _:ID_1ef1e0b055821de7b0e2ce5c03ea8868
. _:ID_1ef1e0b055821de7b0e2ce5c03ea8868
"conf/erlang/HristovB24" .
_:ID_0661ecbb67122ce4ece9f7d9468c1baf . _:ID_0661ecbb67122ce4ece9f7d9468c1baf
. _:ID_0661ecbb67122ce4ece9f7d9468c1baf
. _:ID_0661ecbb67122ce4ece9f7d9468c1baf
. _:ID_0661ecbb67122ce4ece9f7d9468c1baf
"10.1145/3677995.3678190" .
"Erla\u207A: Translating TLA\u207A Models into Executable Actor-Based Implementations." .
.
.
.
.
.
"2"^^
.
_:Sig_d729e87f245fdf2b691ad62ad2c849ac_1 . _:Sig_d729e87f245fdf2b691ad62ad2c849ac_1
. _:Sig_d729e87f245fdf2b691ad62ad2c849ac_1
. _:Sig_d729e87f245fdf2b691ad62ad2c849ac_1
"Marian Hristov" . _:Sig_d729e87f245fdf2b691ad62ad2c849ac_1
. _:Sig_d729e87f245fdf2b691ad62ad2c849ac_1
. _:Sig_d729e87f245fdf2b691ad62ad2c849ac_1
"1"^^
. _:Sig_d729e87f245fdf2b691ad62ad2c849ac_1
.
_:Sig_d729e87f245fdf2b691ad62ad2c849ac_2 . _:Sig_d729e87f245fdf2b691ad62ad2c849ac_2
. _:Sig_d729e87f245fdf2b691ad62ad2c849ac_2
. _:Sig_d729e87f245fdf2b691ad62ad2c849ac_2
"Annette Bieniusa" . _:Sig_d729e87f245fdf2b691ad62ad2c849ac_2
. _:Sig_d729e87f245fdf2b691ad62ad2c849ac_2
. _:Sig_d729e87f245fdf2b691ad62ad2c849ac_2
"2"^^
. _:Sig_d729e87f245fdf2b691ad62ad2c849ac_2
.
.
.
.
.
"13-23" .
"Erlang" .
"Erlang" .
"2024"^^
.
"2024"^^
.
.
"provenance information for RDF data of dblp record 'conf/erlang/HristovB24'" .
.
.
.
"2024-09-08T16:06:07+0200" .
