Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs.

A. T. Chamillard, Lori A. Clarke

Browse the full ISSTA paper archive.