Article detail · 2014
Verifying Anonymity in Voting Systems using CSP
Journal
Formal Aspects of Computing
ISSN0934-5043
YÖKSİS
Year2014
Scopus (SJR)Q2
WoS (JCR)Q3
Data source split
- YÖKSİSYÖKSİS article record
- YÖKSİS venueFORMAL ASPECTS OF COMPUTING
- Catalog match (ISSN)Formal Aspects of Computing
Abstract
Abstract not compiled yet; it will appear after the DergiPark / OpenAlex queue runs.