MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Andrew Hinton" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

PRISM: A tool for automatic verification of probabilistic systems
by Andrew Hinton, Marta Kwiatkowska, Gethin Norman, David Parker — 2006 — Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’06), volume 3920 of LNCS
…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
by Michael Spence, Nikesh Patel, Anish Patel, Daniel Leyden, Andrew Hinton, Derek Bartram
… and IEEE 802.15 Bluetooth Michael Spence, Nikesh Patel, Anish Patel, Daniel Leyden, Andrew Hinton, Derek…
Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB