Browse by Journal
![]() | See full list of headings |
Jump to: K
Number of items: 1.
K
Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Kerber, Manfred and Probst, Christian
(2017)
Insider threats for auctions: formalization, mechanized proof, and code generation.
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), 8
(1)
.
pp. 44-78.
ISSN 2093-5374
[Article]
(doi:10.22667/JOWUA.2017.03.31.044)