Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach.

Shengru Tu, Wei Sun

Browse the full SEKE paper archive.