Termination of Linear Programs (2004)

Cached

Download Links

by Ashish Tiwari
Venue:In CAV’2004: Computer Aided Verification, volume 3114 of LNCS
Citations:42 - 0 self