Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yan Ma
conf.researchr.org general profile
ASE 2022 profile
Registered user since Sun 11 Sep 2022
Name:
Yan Ma
Affiliation:
Nanjing University of Finance and Economics / National University of Singapore
Contributions
2022
ASE
Author of A three-valued model abstraction framework for PCTL* stochastic model checking within the Journal-first Papers-track
Share
x
Thu 25 Apr 20:57