Andrew Hinton

发表

What We Make When We Make Information Architecture

Andrew Hinton, 2014 .

PRISM: A Tool for Automatic Verification of Probabilistic Systems

Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, 2006, TACAS.