Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PS: Hotel Key Card System

Email Gateway (Aug 18 2022 at 09:38):

From: Tobias Nipkow <nipkow@in.tum.de>
The paper for the above new AFP entry is also available separately:
http://www4.informatik.tu-muenchen.de/~nipkow/pubs/ictac06.html

Enjoy!
Tobias

Last updated: Mar 07 2026 at 16:31 UTC