Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Byeongjee Kang
conf.researchr.org general profile
SPLASH 2022 profile
Registered user since Mon 24 Oct 2022
Name:
Byeongjee Kang
Country:
South Korea
Affiliation:
POSTECH
Contributions
2022
FTSCS
Author of Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search within the Formal Techniques for Safety-Critical Systems-track
Share
x
Thu 21 Nov 19:45