[isabelle] PS: Hotel Key Card System



The paper for the above new AFP entry is also available separately:
http://www4.informatik.tu-muenchen.de/~nipkow/pubs/ictac06.html

Enjoy!
Tobias






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.