Inproceedings,

Verifying a Hotel Key Card System.

.
ICTAC, volume 4281 of Lecture Notes in Computer Science, page 1-14. Springer, (2006)

Meta data

Tags

Users

  • @dblp
  • @leonardo

Comments and Reviews