Vol-722⫷ Vol-723 ⫸Vol-724
urn:nbn:de:0074-723-0


None⫷None⫸None

Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets