Synergy Labs
Home
People
Research
Publications
Sponsors
News
Han Zhang
u
d
e
.
u
m
c
.
s
c
@
3
g
n
a
h
z
h
.
c
o
m
🌐
Han's Publications
2021
Netter: Probabilistic, Stateful Network Models
Han Zhang
,
Chi Zhang
,
Arthur Azevedo de Amorim
,
Yuvraj Agarwal
,
Matt Fredrickson
,
Limin Jia
CONFERENCE
VMCAI 2021 -- The 22nd International Conference on Verification, Model Checking, and Abstract Interpretation