Vol-988⫷ Vol-989 ⫸Vol-990
urn:nbn:de:0074-989-0


None⫷None⫸None
Thomas ChatainStefan Haar

A Canonical Contraction for Safe Petri Nets