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
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