A Compact Petri Net Representation for Concurrent Programs.

Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies

Browse the full ICSE paper archive.