TY  - GEN
AU  - Könighofer,Bettina
AU  - Alshiekh,Mohammed
AU  - Bloem,Roderick
AU  - Humphrey,Laura
AU  - Könighofer,Robert
AU  - Topcu,Ufuk
AU  - Wang,Chao
TI  - Shield synthesis
SN  - 0925-9856
PY  - 2017///
PB  - Formal methods in system design
N1  - Publication Type: Journal Article
UR  - https://doi.org/10.1007/s10703-017-0276-9
ER  -