move some upstream materials from brianweb.net to nestedvm.org
[nestedvm.git] / doc / nestedvm.ivme04.bbl
2004-05-05 xwtmerged Brian and Adams changes