Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marian Hristov
conf.researchr.org general profile
ICFP 2024 profile
Registered user since Sun 10 Mar 2024
Name:
Marian Hristov
Country:
Germany
Affiliation:
University of Kaiserslautern-Landau
Contributions
2024
Erlang
Author of Erla+: Translating TLA+ Models into Executable Actor-Based Implementations within the Erlang-track
Share
x
Thu 19 Dec 06:10