Formal Models of AIM Download pdf Tags: HCSS 2001 Oregon Graduate Institute Conference paper Academia HCSS '01 License: CC-2.5 Submitted by John Launchbury on Thu, 02/09/2012 - 12:43