Hotel Key Card

swMATH29234MaRDI QIDQ40948FDOQ40948

Author name not available (Why is that?)

Described by source

• Verifying a Hotel Key Card System

Cited In (2)

• Monotonicity inference for higher-order formulas
• Formally verified algorithms for upper-bounding state space diameters

This page was built for software: Hotel Key Card