Integer Programming in the Analysis of Concurrent Systems.

George S. Avrunin, Ugo A. Buy, James C. Corbett

Browse the full CAV paper archive.