The University of Queensland Homepage
UQ HomepageSearch UQFind all Contacts at UQStudy Options at UQEvents at UQUQ MapsUQ LibraryLink to my.UQ
School of ITEE ITEE Main Website
      





 PVS proof files
treiber.pvs PVS file
pvs-strategies

Strategies for proving that the ordering is well-founded
treiber.prf PVS proof file
© 2002-2012 The University of Queensland, Brisbane, Australia
ABN 63 942 912 684
CRICOS Provider No: 00025B
Authorised by: Head of School
Maintained by: webmasters@itee.uq.edu.au
Last Updated: 23 April, 2008, 5:39pm