Shield synthesis.

Könighofer, Bettina

Shield synthesis. [electronic resource] - Formal methods in system design 2017 - 332-361 p. digital

Publication Type: Journal Article

0925-9856

10.1007/s10703-017-0276-9 doi