Model Checking Large-Scale and Parameterized Resource Allocation Systems.

E. Allen Emerson, Vineet Kahlon

Browse the full TACAS paper archive.