Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yongsheng Yang
conf.researchr.org general profile
ASE 2022 profile
Not registered as user yet
Name:
Yongsheng Yang
Affiliation:
Shanghai Maritime University
Contributions
2022
ASE
Author of A three-valued model abstraction framework for PCTL* stochastic model checking within the Journal-first Papers-track
Share
x
Mon 18 Nov 11:11