BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
T.Neupane C.J.Myers C.Madsen Z.Z.0006
Talks about:
approxim (1) tochast (1) stamina (1) checker (1) analysi (1) nfinit (1) state (1) model (1)

Person: Hao Zheng 0001

DBLP DBLP: 0001:Hao_Zheng

Contributed to:

CAV (1) 20192019

Wrote 1 papers:

CAV-2019-NeupaneMM00 #analysis #approximate #infinity #model checking #named #probability
STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis (TN, CJM, CM, HZ0, ZZ0), pp. 540–549.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.