Searching for authors named "Andrew Hinton" – sorted by Relevance.
-
PRISM: A tool for automatic verification of probabilistic systems
- PRISM: A Tool for Automatic Verification of Probabilistic Systems ⋆ Andrew Hinton, Marta
- Cited by 40 (6 self) – Add To MetaCart
-
Computer Security (06-17417) Lecture Security of Wireless Technologies: IEEE 802.11 Wireless LAN and IEEE 802.15 Bluetooth
- and IEEE 802.15 Bluetooth Michael Spence, Nikesh Patel, Anish Patel, Daniel Leyden, Andrew Hinton, Derek
- Add To MetaCart

