A Compact Petri Net Representation for Concurrent Programs

Open Webpage

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

Published: 1995, Last Modified: 22 Mar 2026ICSE 1995EveryoneRevisionsBibTeXCC BY-SA 4.0