A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems (bibtex)
by S. Kramer, P.Y.A. Ryan
Reference:
A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems (S. Kramer, P.Y.A. Ryan), In Proceedings of the RE-affiliated Workshop on Requirements Engineering for Electronic Voting Systems, IEEE, 2011.
Bibtex Entry:
@InProceedings{Kramer2011,
  Title                    = {A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems},
  Author                   = {S. Kramer and P.Y.A. Ryan},
  Booktitle                = {Proceedings of the RE-affiliated Workshop on Requirements Engineering for Electronic Voting Systems},
  Year                     = {2011},
  Publisher                = {{IEEE}},

  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser