Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: K
Number of items: 1.

K

Kammueller, Florian ORCID logoORCID: 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)

This list was generated on Sun Jun 26 04:38:17 2022 BST.