Verifying a hotel key card system (2006)

Cached

Download Links

by Tobias Nipkow
Venue:Theoretical Aspects of Computing (ICTAC 2006
Citations:7 - 1 self