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

Shengru Tu, Wei Sun (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics