APNOC

AcronymDefinition
APNOCAbstractions for Petri Nets and Other Models of Concurrency